3529 search results - page 374 / 706 » A Model for Interaction of Agents and Environments |
156
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
191
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
167
Voted
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
Compared to a geometric approach, image based rendering applied to 3D view reconstruction doesn't require 3D model construction and doesn't depend on the complexity of t...
200
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
A computer vision system for tracking multiple people in relatively unconstrained environments is described. Trackerformed at three levels of abstraction: regions, people and grou...
173
click to vote
RIAO
2000
15 years 8 months ago
2000
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...