4447 search results - page 706 / 890 » Model Checking Games |
179
click to vote
MSWIM
2009
ACM
16 years 1 months ago
2009
ACM
The increasing number of independent IEEE 802.11 WLANs owned and managed by autonomous users has led to increased interference, resulting in performance degradation and unfairness...
168
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—We consider peer-to-peer (P2P) networks, where multiple peers are interested in sharing content. While sharing resources, autonomous and self-interested peers need to make decis...
186
click to vote
MICAI
2005
Springer
16 years 1 days ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
212
click to vote
LSO
2004
Springer
15 years 12 months ago
2004
Springer
Selection of Commercial-off-The-Shelf (COTS) software products is a knowledge-intensive process. In this paper, we show how knowledge bases can be used to facilitate the COTS selec...
178
click to vote
ROBOCUP
2004
Springer
15 years 12 months ago
2004
Springer
We present a complete system for obstacle avoidance for a mobile robot. It was used in the RoboCup 2003 obstacle avoidance challenge in the Sony Four Legged League. The system enab...