11168 search results - page 35 / 2234 » Abstract State Processes |
119
Voted
FMSD
2010
14 years 11 months ago
2010
aware counter abstraction G
156
click to vote
UPP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
116
click to vote
ICRA
2010
IEEE
15 years 20 days ago
2010
IEEE
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...
110
click to vote
UAI
1998
15 years 3 months ago
1998
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...
127
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...