4752 search results - page 235 / 951 » From computation models to models of provenance: the RWS app... |
142
click to vote
CORR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
131
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. This paper presents a novel probabilistic approach to integrating multiple cues in visual tracking. We perform tracking in different cues by interacting processes. Each p...
144
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a novel approach for reconstructing free-form, texture-mapped, 3D scene models from a single painting or photograph. Given a sparse set of user-specified const...
114
click to vote
ICVS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents an approach to increase the robustness of Active Appearance Models (AAMs) within the scope of humanrobotinteraction. Due to unknown environments with ...
106
click to vote
WCET
2008
15 years 3 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...