Sciweavers

381 search results - page 48 / 77
» Overview of WebCLEF 2006
Sort
View
AAMAS
2006
Springer
13 years 7 months ago
Verifying Multi-agent Programs by Model Checking
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
ALIFE
2006
13 years 7 months ago
Issues in Auditory Display
Auditory displays have been successfully developed to assist data visualization in many areas, but have as yet received little attention in the field of Artificial Life. This pape...
Alice C. Eldridge
APIN
2006
142views more  APIN 2006»
13 years 7 months ago
Achieving dynamic, multi-commander, multi-mission planning and execution
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...
Eugene Santos, Scott A. DeLoach, Michael T. Cox
CE
2006
123views more  CE 2006»
13 years 7 months ago
Conceptual and socio-cognitive support for collaborative learning in videoconferencing environments
Studies have shown that videoconferencing is an effective medium for facilitating communication between parties who are separated by distance, particularly when learners are engag...
Bernhard Ertl, Frank Fischer, Heinz Mandl
COMPSEC
2006
132views more  COMPSEC 2006»
13 years 7 months ago
Tightening the net: A review of current and next generation spam filtering tools
This paper provides an overview of current and potential future spam filtering approaches. We examine the problems spam introduces, what spam is and how we can measure it. The pap...
James Carpinter, Ray Hunt