887 search results - page 153 / 178 » Representing Systems with Hidden State |
112
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
We propose a concept for integrating multiple sensors in real-time robot control. To increase the controller robustness under diverse uncertainties, the robot systematically gener...
98
Voted
ICIAP
1999
ACM
15 years 6 months ago
1999
ACM
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...
132
Voted
FMCAD
1998
Springer
15 years 6 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
125
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
125
click to vote
POPL
2010
ACM
15 years 4 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...