Results 131 to 140 of about 3,362 (182)

Expandable MVL Inverter Compatible with Standard CMOS Process and Its Application to MVL Hysteresis Comparator

2013 IEEE 43rd International Symposium on Multiple-Valued Logic, 2013
In this paper, a novel voltage-mode MVL inverter is proposed. The proposed inverter consists of two circuit blocks: MVL threshold comparator and Multi-level generator, which can be implemented by standard CMOS technologies. Next, the inverted MVL hysteresis comparator is also proposed as the application of the proposed MVL inverter.
Arif Abdul Mannan, Koichi Tanno, Hiroki Tamura, Takako Toyama, Agung Darmawansyah   +4 more
openaire   +1 more source

Arithmetic Algorithms and Circuits to Convert MVL to MVL Coded Decimal and Vice Versa

2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications, 2008
The purpose of this paper is to present new algorithms and circuits to convert from MVL (Multiple Valued Logic) to MVL Coded Decimal (MVL-CD) and vice versa. We will introduce two conversion techniques: the first one is called "Addition-Subtraction technique" (AST) while the other method is called "Division-Multiplication Technique" (DMT). Based on AST,
Hassan Amine Osseily, Ali Massoud Haidar
openaire   +1 more source

Design and implementation of MVL

ACM SIGGRAPH 2005 Posters on - SIGGRAPH '05, 2005
Developing medical VR simulators takes much labor and cost because of its complexity and high requirements for simulation. In this paper, we propose MVL, which gives simulation modules of several significant medical manipulations considering multiple organ interaction.
Yoshihiro Kuroda, Megumi Nakao, Tomohiro Kuroda, Hiroshi Oyama 0001, Hiroyuki Yoshihara   +4 more
openaire   +1 more source

Generic implementation of DD packages in MVL

Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium, 1999
This paper presents a generic approach to implementation of Decision Diagrams (DDs) for representation and manipulation of Multi-Valued Logic (MVL) functions. The core package is based on recursive synthesis operations, where the recursive step is given by a table look-up technique.
Rolf Drechsler, Dragan Jankovic, Radomir S. Stankovic   +2 more
openaire   +1 more source

The MVL theorem proving system

ACM SIGART Bulletin, 1991
The MVL theorem-proving system is an implementation of theoretical work currently under way at Stanford University. Theoretical progress made there is regularly included in MVL in order to ensure that the ideas developed theoretically can be tested experimentally as well.
openaire   +1 more source

Step-wise synthesis of CCD MVL functions

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic, 2002
A new approach for synthesis of single-variable functions in CCD (charge-coupled-device) technology is presented. It is based on primitive functions that rely heavily on the functions realizable with single overflow gates. Positive and negative steps in logic levels are decomposed into patterns realizable with the primitive functions.
Safwat G. Zaky, Zvonko G. Vranesic, Mostafa I. H. Abd-El-Barr   +2 more
openaire   +1 more source

Algorithmic synthesis of MVL functions for CCD implementation

IEEE Transactions on Computers, 1991
Algorithms for synthesis of four-valued one- and two-variable functions for CCD (charge coupled device) implementation are proposed. One-variable synthesis is based on the observation that the cost of a realization of a function f(x) increases in the presence of breaks, or negative transitions, in the value of f as x increases.
Mostafa I. H. Abd-El-Barr, Zvonko G. Vranesic, Safwat G. Zaky   +2 more
openaire   +1 more source

MVL: Multi-View Learning for News Recommendation

Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2020
In this paper, we propose a Multi-View Learning (MVL) framework for news recommendation which uses both the content view and the user-news interaction graph view. In the content view, we use a news encoder to learn news representations from different information like titles, bodies and categories.
T. Y. S. S. Santosh, Avirup Saha, Niloy Ganguly   +2 more
openaire   +1 more source

Descending Order Transformation-based Synthesis of MVL Reversible Circuits

2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL), 2021
Transformation-based synthesis is a straightforward technique for determining a circuit for a reversible function. Various methods employing the transformation-based approach have been previously proposed. For an r-valued function, the existing methods consider the function specification in ascending order from the input assignment 0,0,…,0 to the input
D. Michael Miller, Gerhard W. Dueck
openaire   +1 more source

Technique of computing logic derivatives for MVL-functions

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96), 2002
A technique to compute logic derivatives of MVL-functions is considered based on four algorithms, two of them are new. At first these are symbolic and matrix algorithms to find logic derivatives with respect to variables, and, secondly, partial direct and inverse derivatives.
Vlad P. Shmerko, Svetlana N. Yanushkevich, Vitaly G. Levashenko, I. Bondar   +3 more
openaire   +1 more source