Sciweavers

4096 search results - page 460 / 820
» An Object Model for Interoperable Systems
Sort
View
TACAS
2010
Springer
145views Algorithms» more  TACAS 2010»
16 years 1 months ago
Rational Synthesis
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
Dana Fisman, Orna Kupferman, Yoad Lustig
ICIP
2002
IEEE
16 years 8 months ago
Long term tracking using Bayesian networks
This paper addresses long term tracking of multiple objects with occlusions. Bayesian networks are used to model the interaction among the detected tracks and for conflict managem...
Arnaldo J. Abrantes, João Miranda Lemos, Jo...
KI
2009
Springer
16 years 1 months ago
Toward Heterogeneous Cardinal Direction Calculus
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
Yohei Kurata, Hui Shi
ICPR
2008
IEEE
16 years 1 months ago
A computer vision based camera pedestal's vertical motion control
. Traditional camera pedestals are manually operated. Our long term goal is to construct a fully autonomous pedestal system which can respond to changes in a scene and mimicking t...
Richard Yi Da Xu, Joshua M. Brown, Jason M. Traish...
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
Inference and Visualization of Spatial Relations
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
Sylvia Wiebrock, Lars Wittenburg, Ute Schmid, Frit...