1585 search results - page 173 / 317 » A framework for computer-aided validation |
131
Voted
SIGDIAL
2010
15 years 1 months ago
2010
We introduce a novel approach for robust belief tracking of user intention within a spoken dialog system. The space of user intentions is modeled by a probabilistic extension of t...
165
Voted
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
Color-based tracking methods have proved to be efficient for their robustness qualities. The drawback of such global representation of an object is the lack of information on its s...
144
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
165
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
64
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Simulation of arterial stenting procedures prior to intervention allows for appropriate device selection as well as highlights potential complications. To this end, we present a fr...