2989 search results - page 203 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
122
Voted
ACIVS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this work we introduce a new technique for a frequently encountered problem in computer vision: image registration. The registration is computed by matching features, ...
149
Voted
HUMO
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present a 3D registration algorithm based on simulated physical force/moment for articulated human motion tracking. Provided with sparsely reconstructed 3D human ...
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
We consider secrecy problems for cryptographic protocols modeled using Horn clauses and present general classes of Horn clauses which can be efficiently decided. Besides simplifyin...
111
click to vote
COLING
2008
15 years 3 months ago
2008
We propose a supervised word sense disambiguation (WSD) method using tree-structured conditional random fields (TCRFs). By applying TCRFs to a sentence described as a dependency t...
119
click to vote
ML
2006
ACM
15 years 2 months ago
2006
ACM
We investigate explicit segment duration models in addressing the problem of fragmentation in musical audio segmentation. The resulting probabilistic models are optimised using Mar...