3742 search results - page 678 / 749 » On the Use of Formal Techniques for Validation |
185
click to vote
CVPR
2007
IEEE
16 years 16 days ago
2007
IEEE
Manifold learning methods are promising data analysis tools. However, if we locate a new test sample on the manifold, we have to find its embedding by making use of the learned e...
148
click to vote
HPDC
2006
IEEE
16 years 7 days ago
2006
IEEE
Trace-driven simulation is an important technique used in the evaluation of computer architecture innovations. However using it for studying parallel computers and applications is...
157
click to vote
ASSETS
2006
ACM
16 years 5 days ago
2006
ACM
CopyCat is an American Sign Language (ASL) game, which uses gesture recognition technology to help young deaf children practice ASL skills. We describe a brief history of the game...
172
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
170
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
The vision-based driver fatigue detection is one of the most prospective commercial applications of facial expression recognition technology. The facial feature tracking is the pr...