Sciweavers

1260 search results - page 165 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
JELIA
2004
Springer
15 years 3 months ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas
POPL
2008
ACM
15 years 10 months ago
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
Walter Fontana
ICIP
2006
IEEE
15 years 11 months ago
On Performance Comparison of Real and Synthetic Iris Images
In the absence of real data for extensive testing of newly designed large-scale biometrics recognition systems a number of solutions are possible including use of resampling metho...
Jinyu Zuo, Natalia A. Schmid, Xiaohan Chen
ICMCS
2005
IEEE
114views Multimedia» more  ICMCS 2005»
15 years 3 months ago
A User-Oriented Multimodal-Interface Framework for General Content-Based Multimedia Retrieval
A user-oriented multimodal interface (MMI) framework is proposed. Considering the complexities of media connotations and uncertainties of the user’s demands, content-based retri...
Jinchang Ren, Theodore Vlachos, Vasileios Argyriou
WOTUG
2007
14 years 11 months ago
A Process Oriented Approach to USB Driver Development
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
Carl G. Ritson, Fred R. M. Barnes