Sciweavers

2317 search results - page 223 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
JCC
2007
85views more  JCC 2007»
15 years 4 months ago
Quantitative computer simulations of biomolecules: A snapshot
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...
Wei Yang, Hugh Nymeyer, Huan-Xiang Zhou, Bernd A. ...
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 8 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
ADC
2006
Springer
110views Database» more  ADC 2006»
15 years 8 months ago
A heuristic approach to cost-efficient fragmentation and allocation of complex value databases
The quality of database distribution design, which involves fragmentation and allocation, should be assessed by the performance of a system. In particular, this applies to non-rel...
Hui Ma, Klaus-Dieter Schewe, Qing Wang
JLP
2006
126views more  JLP 2006»
15 years 4 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
SMI
2008
IEEE
167views Image Analysis» more  SMI 2008»
15 years 10 months ago
Hands on virtual clay
This paper presents a new interaction system designed for hands-on 3D shape modeling and deformation through natural hand gestures. Our system is made of a Phantom haptic device c...
Adeline Pihuit, Paul G. Kry, Marie-Paule Cani