Sciweavers

1912 search results - page 229 / 383
» GOAL as a Planning Formalism
Sort
View
AIED
2007
Springer
16 years 20 days ago
Who Says Three's a Crowd? Using a Cognitive Tutor to Support Peer Tutoring
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
Erin Walker, Bruce M. McLaren, Nikol Rummel, Kenne...
ICDE
2006
IEEE
147views Database» more  ICDE 2006»
16 years 16 days ago
Optimizing Multiple Queries in Distributed Data Stream Systems
We consider the problem of query optimization in distributed stream based systems where multiple continuous queries may be executing simultaneously. In such systems, distribution ...
Sangeetha Seshadri, Vibhore Kumar, Brian F. Cooper
ATAL
2005
Springer
16 years 1 days ago
A negotiation model for autonomous agents: key features and comparison with existing models
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
Fernando Lopes, Augusto Q. Novais, Nuno J. Mamede,...
KBSE
2003
IEEE
15 years 11 months ago
Automation for Exception Freedom Proofs
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
Bill J. Ellis, Andrew Ireland
SIGIR
2003
ACM
15 years 11 months ago
Statistical visual feature indexes in video retrieval
Four statistical visual feature indexes are proposed: SLM (Shot Length Mean), the average length of each shot in a video; SLD (Shot Length Deviation), the standard deviation of sh...
Xiangming Mu, Gary Marchionini