7434 search results - page 218 / 1487 » Still |
145
click to vote
CLEAR
2007
Springer
16 years 12 days ago
2007
Springer
This paper presents a visual particle filter for tracking a variable number of humans interacting in indoor environments, using multiple cameras. It is built upon a 3-dimensional,...
165
click to vote
CONCUR
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
143
click to vote
CPAIOR
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...
156
click to vote
CSCLP
2007
Springer
16 years 12 days ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
160
click to vote
DEXA
2007
Springer
16 years 12 days ago
2007
Springer
The retrieval problem is one of the main reasoning tasks for knowledge base systems. Given a knowledge base K and a concept C, the retrieval problem consists of finding all indivi...