Sciweavers

2317 search results - page 149 / 464
» Model based testing for agent systems
Sort
View
ICVS
2003
Springer
15 years 8 months ago
Automatic Mapping of Settlement Areas Using a Knowledge-Based Image Interpretation System
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
Bernd-Michael Straub, Markus Gerke, Martin Pahl
205
Voted
HOLOMAS
2007
Springer
15 years 9 months ago
Agent Methods for Network Intrusion Detection and Response
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...
Martin Rehák, Michal Pechoucek, David Medvi...
122
Voted
AAAI
2007
15 years 6 months ago
A Vision-Based System for a UGV to Handle a Road Intersection
We propose a real-time computer vision system that enables a UGV to safely cross urban road-intersections. Specifically, when the UGV approaches the stop sign at a 4-way intersec...
Javed Ahmed, Mubarak Shah, Andrew Miller, Don Harp...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 9 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
124
Voted
IVA
2007
Springer
15 years 9 months ago
Incremental Multimodal Feedback for Conversational Agents
Just like humans, conversational computer systems should not listen silently to their input and then respond. Instead, they should enforce the speaker-listener link by attending ac...
Stefan Kopp, Thorsten Stocksmeier, Dafydd Gibbon