9521 search results - page 328 / 1905 » Compiling with continuations, continued |
120
Voted
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
Vehicle environment is a good testbed to investigate Internet mobility technologies. Based on testing of building, protocol implementation details and problems to deploy it will b...
156
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
121
Voted
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
101
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
Experience-based continuous learning is essential for improving products, processes, and technologies in emerging as well as established areas of business and engineering science....
151
Voted
HYBRID
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...