15792 search results - page 254 / 3159 » Computational Abstraction Steps |
152
click to vote
VMV
2008
15 years 8 months ago
2008
Recently it was observed, that a combined formulation of tracking and reconstruction increases the robustness and accuracy of both these steps in structure-from-motion problems [9...
191
click to vote
AIPS
2009
15 years 8 months ago
2009
Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan ...
194
click to vote
INTERNET
2010
15 years 5 months ago
2010
abstractions, concepts, and actions that characterize human experiences. This will herald computing for human experience (CHE). The CHE vision is built on a suite of technologies t...
174
click to vote
MLG
2007
Springer
16 years 1 months ago
2007
Springer
d Abstract) Kaspar Riesen, Stefan Fankhauser and Horst Bunke2
156
click to vote
LFP
1990
15 years 8 months ago
1990
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple