Sciweavers

5707 search results - page 178 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
ISCAS
2003
IEEE
126views Hardware» more  ISCAS 2003»
15 years 12 months ago
High-speed processor for quantum-computing emulation and its applications
A high-speed and large-scale processor dedicated to quantum computing is proposed, which has the minimum operation function needed for execution of a quantum algorithm. In this pr...
Minoru Fujishima, Kaoru Saito, M. Onouchi, Koichir...
MVA
1992
118views Computer Vision» more  MVA 1992»
15 years 7 months ago
A Mobile Robot for Visual Measurements in Architectural Applications
This paper describes a method to perform distance measurements inside buildings using a single video camera mounted on a mobile robot. This algorithm is designed specifically to c...
Xavier Lebègue, Jake K. Aggarwal
DAC
2006
ACM
16 years 7 months ago
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, ...
MICCAI
2005
Springer
16 years 7 months ago
Simulating Vascular Systems in Arbitrary Anatomies
Better physiological understanding of principles regulating vascular formation and growth is mandatory to their efficient modeling for the purpose of physiologically oriented medi...
Dominik Szczerba, Gábor Székely
ICNS
2009
IEEE
16 years 1 months ago
Psychometric and Evidentiary Approaches to Simulation Assessment in Packet Tracer Software
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...
Dennis C. Frezzo, John T. Behrens, Robert J. Misle...