4609 search results - page 486 / 922 » Automatic Generation of Sigma-Protocols |
182
click to vote
IJCV
2006
15 years 6 months ago
2006
Understanding facial expressions in image sequences is an easy task for humans. Some of us are capable of lipreading by interpreting the motion of the mouth. Automatic lipreading b...
176
click to vote
TCS
2008
15 years 6 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
271
click to vote
Book
"GP is a systematic, domain-independent method for getting computers to solve problems automatically starting from a high-level statement of what needs to be done. Using ideas...
167
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We propose and evaluate a method for the recognition of airborne fungi spores. We suggest a case-based object-recognition method to identify spores in a digital microscopic image. ...
143
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Tracking of left ventricles in 3D echocardiography is a challenging topic because of the poor quality of ultrasound images and the speed consideration. In this paper, a fast and a...