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

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

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

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

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

Direct cover MVL minimization with cost-tables

[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic, 2003
A direct cover algorithm for minimizing multivalued logic functions is described. The use of cost tables facilitates cost efficient implementations. Current-mode CMOS circuits are considered as target implementations. However, the algorithm can be readily adapted to different technologies by making appropriate changes in the cost tables.
openaire   +1 more source

The evaluation of full sensitivity for test generation in MVL circuits

Proceedings 25th International Symposium on Multiple-Valued Logic, 2002
The evaluation of a method for test generation for MVL circuits, based on the notion of full sensitivity, is given. The estimation is made on the functional level, by establishing a lower bound on the number of m-valued n-variable functions that are fully sensitive to all their variables.
Elena Dubrova, Dilian Gurov, Jon C. Muzio   +2 more
openaire   +1 more source