2203 search results - page 74 / 441 » Temporal Abstract Interpretation |
199
Voted
POPL
1995
ACM
15 years 6 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
130
click to vote
MIRAGE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a fast and robust iterative method for interpreting face images under non-uniform lighting conditions by using a fitting algorithm which utilizes an illuminat...
151
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
140
click to vote
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
144
click to vote
MVA
1990
15 years 4 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...