Sciweavers

4218 search results - page 509 / 844
» Complete sets of cooperations
Sort
View
197
Voted
CGI
2001
IEEE
15 years 11 months ago
Javra: A Simple, Extensible Java Package for VRML
Javra is a Java package for handling VRML scene graphs; it operates either stand-alone or in combination with a VRML browser. The combination of Javra and a VRML browser forms an ...
Huub van de Wetering
CHARME
2003
Springer
97views Hardware» more  CHARME 2003»
15 years 11 months ago
Coverage Metrics for Formal Verification
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
VW
2000
Springer
160views Virtual Reality» more  VW 2000»
15 years 11 months ago
Text-to-Audiovisual Speech Synthesizer
This paper describes a text-to-audiovisual speech synthesizer system incorporating the head and eye movements. The face is modeled using a set of images of a human subject. Visemes...
Udit Kumar Goyal, Ashish Kapoor, Prem Kalra
205
Voted
ECML
1987
Springer
15 years 11 months ago
Induction in Noisy Domains
This paper examines the induction of classification rules from examples using real-world data. Real-world data is almost always characterized by two features, which are important ...
Peter Clark, Tim Niblett
CVPR
2009
IEEE
15 years 10 months ago
Robust unsupervised segmentation of degraded document images with topic models
Segmentation of document images remains a challenging vision problem. Although document images have a structured layout, capturing enough of it for segmentation can be difficult....
Timothy J. Burns, Jason J. Corso