649 search results - page 73 / 130 » State estimation of the three-tank system using a multiple m... |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Speech recognition applications are known to require a significant amount of resources (memory, computing power). However, embedded speech recognition systems, such as in mobile p...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
EMNLP
2008
13 years 9 months ago
2008
This paper presents a new hypothesis alignment method for combining outputs of multiple machine translation (MT) systems. An indirect hidden Markov model (IHMM) is proposed to add...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We formulate a layered model for object detection and multi-class segmentation. Our system uses the output of a bank of object detectors in order to define shape priors for suppo...
ICSE
2001
IEEE-ACM
14 years 13 days ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...