9730 search results - page 1653 / 1946 » Relating models of backtracking |
183
Voted
CIKM
2006
Springer
15 years 9 months ago
2006
Springer
In an uncertain database, each data item is modeled as a range associated with a probability density function. Previous works for this kind of data have focussed on simple queries...
204
click to vote
FGR
2004
IEEE
15 years 9 months ago
2004
IEEE
An analysis-by-synthesis framework for face recognition with variant pose, illumination and expression (PIE) is proposed in this paper. First, an efficient 2D-to-3D integrated fac...
146
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
168
Voted
DAGM
2006
Springer
15 years 9 months ago
2006
Springer
Recently, many approaches have been proposed for visual object category detection. They vary greatly in terms of how much supervision is needed. High performance object detection m...
153
click to vote
DALT
2006
Springer
15 years 9 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...