Sciweavers

4353 search results - page 725 / 871
» Expressiveness of Process Algebras
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 3 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
VISUALIZATION
2003
IEEE
15 years 3 months ago
Curvature-Based Transfer Functions for Direct Volume Rendering: Methods and Applications
Direct volume rendering of scalar fields uses a transfer function to map locally measured data properties to opacities and colors. The domain of the transfer function is typicall...
Gordon L. Kindlmann, Ross T. Whitaker, Tolga Tasdi...
96
Voted
IUI
2003
ACM
15 years 3 months ago
Scripting embodied agents behaviour with CML: character markup language
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
Yasmine Arafa, E. H. Mamdani
JCDL
2003
ACM
105views Education» more  JCDL 2003»
15 years 3 months ago
Convergence of Knowledge Management and E-Learning: The GetSmart Experience
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...
Byron Marshall, Yiwen Zhang, Hsinchun Chen, Ann M....
115
Voted
SAC
2003
ACM
15 years 3 months ago
Improving Image Retrieval Effectiveness in Query-by-Example Environment
Query-by-example is the most popular query model for today’s image retrieval systems. A typical query image contains not only relevant objects (e.g., Eiffel Tower), but also ir...
Khanh Vu, Kien A. Hua, Ning Jiang