Sciweavers

1249 search results - page 46 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
IJCAI
1993
13 years 9 months ago
Learning Finite Automata Using Local Distinguishing Experiments
One of the open problems listed in Rivest and Schapire, 1989] is whether and how that the copies of L in their algorithm can be combined into one for better performance. This pape...
Wei-Mein Shen
MM
2009
ACM
209views Multimedia» more  MM 2009»
14 years 2 months ago
Brain state decoding for rapid image retrieval
Human visual perception is able to recognize a wide range of targets under challenging conditions, but has limited throughput. Machine vision and automatic content analytics can p...
Jun Wang, Eric Pohlmeyer, Barbara Hanna, Yu-Gang J...
SPIN
2005
Springer
14 years 1 months ago
Model Checking Machine Code with the GNU Debugger
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
Eric Mercer, Michael Jones
ICARCV
2006
IEEE
420views Robotics» more  ICARCV 2006»
14 years 1 months ago
Recognizing People's Faces: from Human to Machine Vision
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
Massimo Tistarelli, Manuele Bicego, Enrico Grosso
ICPR
2006
IEEE
14 years 8 months ago
Texture-Constrained Shape Prediction for Mouth Contour Extraction and its State Estimation
In this paper, we present an automatic mouth contour and state estimation system. An efficient mouth contour extraction algorithm is proposed under the framework of Active Shape M...
Zhaorong Li, Haizhou Ai