9067 search results - page 1622 / 1814 » Adaptive Model Checking |
187
click to vote
ROBOCOMM
2007
IEEE
16 years 1 months ago
2007
IEEE
— The integration of advanced computation, wireless communication, and control technologies has facilitated the creation of autonomous robot swarms for many civil and military ap...
160
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Traditional teachers know their students because they interact with them face-...
237
click to vote
AIHC
2007
Springer
16 years 1 months ago
2007
Springer
Computer models can be used to investigate the role of emotion in learning. Here we present EARL, our framework for the systematic study of the relation between emotion, adaptation...
194
click to vote
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
145
click to vote
ASIACRYPT
2007
Springer
16 years 1 months ago
2007
Springer
ersion of an extended abstract to be published in Advances in Cryptology—ASIACRYPT 2007, Springer-Verlag, 2007. Available online from: http://www.cs.stanford.edu/∼xb/asiacrypt0...