10159 search results - page 1882 / 2032 » System Design Validation Using Formal Models |
JVCA
2002
13 years 8 months ago
2002
We propose an efficient system for realistic speech animation. The system supports all steps of the animation pipeline, from the capture or design of 3D head models up to the synth...
ECBS
1996
IEEE
14 years 13 days ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
DISCO
1993
14 years 11 days ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
RFID is widely used to track the movement of goods through a supply chain. In this paper, we extend the domain of RFID by presenting SixthSense, a platform for RFID-based enterpri...
IJET
2007
13 years 8 months ago
2007
Remarkable advances in instructional communication technology (ICT) have now made is possible to provide high levels of enrichment and the kinds of curricular differentiation that...