5550 search results - page 766 / 1110 » Different Approaches to Proof Systems |
222
click to vote
SCP
2010
15 years 1 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
153
click to vote
TSP
2010
15 years 1 months ago
2010
This paper is first in a series of papers studying a system-theoretic approach to the problem of reconstructing an analog signal from its samples. The idea, borrowed from earlier t...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a novel approach of multiple target tracking from multiple collaborative cameras. Firstly, particle filtering for conditional density propagation on graphs to...
196
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we propose a physically-based dynamical model for tracking. Our model relies on Newton’s second law of motion, which governs any real-world dynamical system. As a...
198
click to vote
CLEF
2011
Springer
14 years 6 months ago
2011
Springer
This paper describes the participation of UAIC team at the LogCLEF 2011 initiative, language identification task. Our approach is an aggregation of known methods for recognizing la...