5599 search results - page 381 / 1120 » Abstract State Services |
162
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
165
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
164
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A partial feedback control scheme with a probabilistic fuzzy estimator (PFE) is presented for the robust control of quantum systems. In this scheme, a probabilistic fuz...
218
click to vote
ARCSF
2008
15 years 8 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
175
click to vote
IJCAI
2003
15 years 8 months ago
2003
Particle filters are used extensively for tracking the state of non-linear dynamic systems. This paper presents a new particle filter that maintains samples in the state space a...