1496 search results - page 279 / 300 » Definability of Initial Segments |
ECCV
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. This paper proposes a solution for the automatic detection and tracking of human motion in image sequences. Due to the complexity of the human body and its motion, automa...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
Currently, clinical information is stored in all kinds of proprietary formats through a multitude of medical information systems available on the market. This results in a severe ...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
We introduce a new, powerful class of text proximity queries: find an instance of a given "answer type" (person, place, distance) near "selector" tokens matchi...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...