Sciweavers

2695 search results - page 263 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
IFIP
2001
Springer
15 years 8 months ago
Functional Test Generation using Constraint Logic Programming
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
Zhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre
IJPRAI
2000
135views more  IJPRAI 2000»
15 years 4 months ago
Towards Unrestricted Lip Reading
Lip reading provides useful information in speech perception and language understanding, especially when the auditory speech is degraded. However, many current automatic lip readi...
Uwe Meier, Rainer Stiefelhagen, Jie Yang, Alex Wai...
ACMDIS
2004
ACM
15 years 9 months ago
Making tea: iterative design through analogy
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
Monica M. C. Schraefel, Gareth V. Hughes, Hugo R. ...
ER
2007
Springer
127views Database» more  ER 2007»
15 years 8 months ago
A UML Profile for Modeling Data Warehouse Usage
Data Warehouse (DWH) systems represent a single source of information for analyzing the status, the development and the results of an organization. Today's DWH systems provide...
Veronika Stefanov, Beate List
VIS
2006
IEEE
214views Visualization» more  VIS 2006»
16 years 5 months ago
Hub-based Simulation and Graphics Hardware Accelerated Visualization for Nanotechnology Applications
The Network for Computational Nanotechnology (NCN) has developed a science gateway at nanoHUB.org for nanotechnology education and research. Remote users can browse through online...
Wei Qiao, Michael McLennan, Rick Kennell, David...