2607 search results - page 416 / 522 » On the Architecture of System Verification Environments |
194
click to vote
MAAMAW
1994
Springer
15 years 10 months ago
1994
Springer
What is the relation between the complexity of agents and the complexity of the goals that they can achieve? It is argued on the basis of a fundamental conservation of complexity ...
155
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
In this paper the hardware and software design of the CMU Hammerhead middle-size robot team are presented. The team consists of 4 fully autonomous robots with wireless communicatio...
190
click to vote
DIGITEL
2008
IEEE
15 years 8 months ago
2008
IEEE
Educational games have the potential to provide intrinsically motivating learning experiences that immerse and engage the learner. However, the much heralded benefits of education...
163
click to vote
SBBD
2007
15 years 7 months ago
2007
Similarity joins in databases can be used for several important tasks such as data cleaning and instance-based data integration. In this paper, we explore ways how to support such ...
157
click to vote
FLAIRS
2004
15 years 7 months ago
2004
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...