2317 search results - page 421 / 464 » Model based testing for agent systems |
114
click to vote
AAAI
2008
14 years 11 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
3DIM
2007
IEEE
15 years 4 months ago
2007
IEEE
In this contribution we introduce the Multiocular Contracting Curve Density algorithm (MOCCD), a novel method for fitting a 3D parametric curve. The MOCCD is integrated into a tr...
CVPR
2006
IEEE
15 years 12 months ago
2006
IEEE
We describe a realtime system for finding and tracking unstructured paths in off-road conditions. The system was designed as part of the recent Darpa Grand Challenge and was teste...
103
click to vote
KI
2009
Springer
15 years 4 months ago
2009
Springer
Spoken dialogue is notoriously hard to process with standard language processing technologies. Dialogue systems must indeed meet two major challenges. First, natural spoken dialogu...
ISPW
2007
IEEE
15 years 4 months ago
2007
IEEE
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...