Sciweavers

3600 search results - page 427 / 720
» Conversational intelligence analysis
Sort
View
AIIA
2003
Springer
15 years 10 months ago
The Role of Different Solvers in Planning and Scheduling Integration
This paper attempts to analyze the issue of planning and scheduling integration from the point of view of information sharing. This concept is the basic bridging factor between the...
Federico Pecora, Amedeo Cesta
ATAL
2003
Springer
15 years 10 months ago
Verification and Compliance Testing
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
Frank Guerin, Jeremy Pitt
AGP
1998
IEEE
15 years 10 months ago
The Correctness of Set-Sharing
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
FAABS
2000
Springer
15 years 10 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
IEAAIE
1998
Springer
15 years 10 months ago
Applying Computer Vision Techniques to Traffic Monitoring Tasks
This paper presents a method I for tracking and segmenting vehicles in a traffic scene. The approach is based on a frame to frame segmentation followed by a tracking process. As op...
Jorge Badenas, Filiberto Pla