1054 search results - page 207 / 211 » From a Verified Kernel towards Verified Systems |
106
click to vote
ETFA
2006
IEEE
15 years 3 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
102
click to vote
CHI
1995
ACM
15 years 3 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
102
click to vote
AAAI
2008
15 years 2 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents MADeM, a multi-modal agent decision making to provide virtual agents with socially acceptable decisions. We consider multi-modal decisions as those that are ab...
125
click to vote
DILS
2008
Springer
15 years 1 months ago
2008
Springer
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...