106 search results - page 18 / 22 » Advisors for Incremental Propagation |
SIROCCO
2004
13 years 8 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
AI
2008
Springer
13 years 7 months ago
2008
Springer
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
SAC
2006
ACM
13 years 6 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
IJON
2010
13 years 5 months ago
2010
In this paper, we propose an object tracking framework based on a spatial pyramid heat kernel structural information representation. In the tracking framework, we take advantage o...