1083 search results - page 123 / 217 » Location, location, location!: modeling data proximity in th... |
190
click to vote
TIP
2010
15 years 1 months ago
2010
A purely bottom-up model of visual attention is proposed and compared to five state-of-the-art models. The role of the low-level visual features is examined in two contexts. Two da...
156
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper proposes a discriminative framework for efficiently aligning images. Although conventional Active Appearance Models (AAM)-based approaches have achieved some success, t...
145
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
196
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- An inverse modeling problem for systems governed by first-order, hyperbolic partial differential equations subject to periodic forcing is investigated. The problem is de...
160
click to vote
FMSD
2006
15 years 6 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...