1256 search results - page 43 / 252 » Modeling operator performance for error analysis |
IJRR
2008
13 years 7 months ago
2008
One of the most general frameworks for phrasing control problems for complex, redundant robots is operational space control. However, while this framework is of essential importan...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
Using a lexicon can often improve character recognition under challenging conditions, such as poor image quality or unusual fonts. We propose a flexible probabilistic model for c...
ICMI
2003
Springer
14 years 25 days ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...