Sciweavers

125 search results - page 18 / 25
» Towards the AI Summer
Sort
View
AAAI
2008
13 years 12 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
ATAL
2008
Springer
13 years 11 months ago
Dynamic scheduling of multi-media streams in home automation systems
A new trend in home automation is to integrate audio en video applications. However in current domotics systems, these are usually conFigured statically. We implemented a home aut...
Koen Vangheluwe, Wouter Souffriau, Katja Verbeeck,...
AAAI
2010
13 years 11 months ago
Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination
As autonomous agents proliferate in the real world, both in software and robotic settings, they will increasingly need to band together for cooperative activities with previously ...
Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey ...
AAAI
2006
13 years 11 months ago
Traffic Intersections of the Future
Few concepts embody the goals of artificial intelligence as well as fully autonomous robots. Countless films and stories have been made that focus on a future filled with autonomo...
Kurt M. Dresner, Peter Stone
PAKM
2000
13 years 11 months ago
Facilitating the Online Search of Experts at NASA using Expert Seeker People-Finder
People-Finder Systems are knowledge repositories that attempt to manage knowledge by holding pointers to experts who possess specific knowledge within an organization. This paper ...
Irma Becerra-Fernandez