13041 search results - page 2439 / 2609 » Simulating space and time |
206
click to vote
SENSYS
2004
ACM
15 years 12 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
195
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
156
click to vote
ICADL
2004
Springer
15 years 12 months ago
2004
Springer
The need for fast and vast dissemination of research results has led a new trend such that more number of authors post their documents to personal or group Web spaces so that other...
174
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
198
click to vote
ISER
2004
Springer
15 years 12 months ago
2004
Springer
In January, 2004, the Mars Exploration Rover (MER) mission landed two rovers, Spirit and Opportunity, on the surface of Mars. Several autonomous navigation capabilities were employ...