3552 search results - page 630 / 711 » Proof theory in the abstract |
174
click to vote
AMDO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
168
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
180
click to vote
CPM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Phylogenetics is a science of determining connections between groups of organisms in terms of ancestor/descendent relationships, usually expressed by phylogenetic trees, ...
144
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. One of the most difficult aspects of visual object tracking is the handling of occlusions and target appearance changes due to variations in illumination and viewing dir...
178
click to vote
EDBTW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The rapid increase on the circulation of data over the web has highlighted the need for distributed storage of Internet-accessible information due to the rapid increase o...