Sciweavers

114 search results - page 18 / 23
» On Scene Interpretation with Description Logics
Sort
View
72
Voted
ECCV
2004
Springer
15 years 11 months ago
General Linear Cameras
Abstract. We present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model is capable of describing all perspecti...
Jingyi Yu, Leonard McMillan
107
Voted
EBERNBURG
1990
15 years 1 months ago
Problems of Autonomy and Discontexturality in the Theory of Living Systems
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...
Rudolf Kaehr, E. von Goldammer
90
Voted
SIGSOFT
2007
ACM
15 years 10 months ago
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
CAD
2007
Springer
14 years 9 months ago
Automatic body feature extraction from a marker-less scanned human body
In this paper, we propose a novel method of body feature extraction from a marker-less scanned body. The descriptions of human body features mostly defined in ASTM (1999) and ISO...
Iat-Fai Leong, Jing-Jing Fang, Ming-June Tsai
AMAST
2000
Springer
15 years 1 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra