9065 search results - page 1718 / 1813 » Robotics |
121
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
112
click to vote
MSS
2000
IEEE
15 years 7 months ago
2000
IEEE
We describe a real implementation of a software component that manages caching of files from a tertiary storage management system to a large disk cache developed for use in the a...
158
click to vote
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
104
click to vote
ATAL
2000
Springer
15 years 7 months ago
2000
Springer
Agents often have preference models that are more complicated than minimizing the expected execution cost. In this paper, we study how they should act in the presence of uncertaint...
137
click to vote
ATAL
2000
Springer
15 years 7 months ago
2000
Springer
A perennial challenge in creating and using complex autonomous agents is following their choices of actions as the world changes dynamically and understanding why they act as they ...