1171 search results - page 193 / 235 » Real-Time Tracking Using Multiple Target Models |
185
Voted
CC
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
106
Voted
EICS
2010
ACM
15 years 5 months ago
2010
ACM
We have developed GrafiXML, an original user interface builder in that it enables designers and developers to design several UIs simultaneously for multiple contexts of use, i.e. ...
105
click to vote
MIR
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we propose an autonomous learning scheme to automatically build visual semantic concept models from the output data of Internet search engines without any manual la...
110
Voted
CLEF
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes our first participation in the Indian language sub-task of the main Adhoc monolingual and bilingual track in CLEF1 competition. In this track, the task is to...
119
Voted
TIP
2010
14 years 7 months ago
2010
Particle filters (PFs) are Bayesian filters capable of modeling nonlinear, non-Gaussian, and nonstationary dynamical systems. Recent research in PFs has investigated ways to approp...