3406 search results - page 413 / 682 » Computational models of classical conditioning |
206
click to vote
PACT
1997
Springer
15 years 10 months ago
1997
Springer
A technique for estimating the cost of executing a loop nest in parallel (parallel start-up overhead) is described in this paper. This technique is of utmost importance for paralle...
193
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
We propose an approach to incorporating dynamic models into the human body tracking process that yields full 3– D reconstructions from monocular sequences. We formulate the trac...
156
click to vote
BMVC
2000
15 years 8 months ago
2000
Vision-based systems for remote surveillance usually involve change detection algorithms for intruders, obstacles or irregularities detection. In particular, there is a potentiall...
163
click to vote
GRID
2010
Springer
15 years 3 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
179
click to vote
ALT
2010
Springer
15 years 3 months ago
2010
Springer
We focus on the estimation of a probability distribution over a set of trees. We consider here the class of distributions computed by weighted automata - a strict generalization of...