Sciweavers

1222 search results - page 188 / 245
» A Bayesian Approach to Model Checking Biological Systems
Sort
View
TCAD
2010
121views more  TCAD 2010»
14 years 10 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
ICIAP
2005
ACM
16 years 4 months ago
Facial Expression Recognition Based on the Belief Theory: Comparison with Different Classifiers
This paper presents a system for classifying facial expressions based on a data fusion process relying on the Belief Theory (BeT). Four expressions are considered: joy, surprise, d...
Zakia Hammal, L. Couvreur, Alice Caplier, Mich&egr...
ICMCS
1999
IEEE
117views Multimedia» more  ICMCS 1999»
15 years 8 months ago
Scheduling of Adaptive Multimedia Documents
Multimedia documents are of importance in several application areas, such as education, training, advertising and entertainment. Since multimedia documents may comprise continuous...
Stefan Wirag
ICCV
2005
IEEE
15 years 9 months ago
Visual Speech Recognition with Loosely Synchronized Feature Streams
We present an approach to detecting and recognizing spoken isolated phrases based solely on visual input. We adopt an architecture that first employs discriminative detection of ...
Kate Saenko, Karen Livescu, Michael Siracusa, Kevi...
154
Voted
AROBOTS
2010
180views more  AROBOTS 2010»
15 years 4 months ago
Reactive direction control for a mobile robot: a locust-like control of escape direction emerges when a bilateral pair of model
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
Shigang Yue, Roger D. Santer, Yoshifumi Yamawaki, ...