15614 search results - page 129 / 3123 » The State of State |
120
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
131
click to vote
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
92
Voted
ICIP
2001
IEEE
16 years 2 months ago
2001
IEEE
This article presents an efficient approach to eye movement estimation by combining color and energy based image analysis algorithms. The movement is first analyzed and then descr...
112
Voted
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
76
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...