Sciweavers

5336 search results - page 108 / 1068
» Steerable part models
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
Adapting acoustic and lexical models to dysarthric speech
Dysarthria is a motor speech disorder resulting from neurological damage to the part of the brain that controls the physical production of speech and is, in part, characterized by...
Kinfe Tadesse Mengistu, Frank Rudzicz
CVPR
2007
IEEE
14 years 10 months ago
Flexible Object Models for Category-Level 3D Object Recognition
Today's category-level object recognition systems largely focus on fronto-parallel views of objects with characteristic texture patterns. To overcome these limitations, we pr...
Akash Kushal, Cordelia Schmid, Jean Ponce
CAV
2001
Springer
121views Hardware» more  CAV 2001»
14 years 14 days ago
A Practical Approach to Coverage in Model Checking
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
Hana Chockler, Orna Kupferman, Robert P. Kurshan, ...
ICMCS
1999
IEEE
202views Multimedia» more  ICMCS 1999»
14 years 8 days ago
A Human-Assisted System to Build 3-D Models from a Single Image
We present a system at the junction between Computer Vision and Computer Graphics, to produce a 3-D model of an object as observed in a single image, with a minimum of high-level ...
Alexandre R. J. François, Gérard G. ...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 7 days ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund