4835 search results - page 357 / 967 » Intelligent Selection Tools |
190
click to vote
ICWE
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a framework for the integration of web-based educational systems. It is part of a research project, MEDEA1 , whose final goal is to develop a general framework ...
176
Voted
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Multi Agent Systems (MAS) are often used as a software substrate in creating smart spaces. Many of the solutions already developed within the MAS community are applicable in the do...
206
click to vote
AI50
2006
15 years 10 months ago
2006
actvoid.se Abstract. We describe how current work in Artificial Intelligence is using rigorous tools from information theory, namely information distance and experience distance to...
207
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
173
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...