1705 search results - page 130 / 341 » Representing Constraints with Automata |
152
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 4 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
142
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
Abstract. We study the special form that the general multi-image tensor formalism takes under the plane + parallax decomposition, including matching tensors and constraints, closur...
145
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— We present an easy-to-use calibration method for MEMS inertial sensor units based on the Factorization method which was originally invented for shape-and-motion recovery in com...
160
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
127
click to vote
AUSAI
1999
Springer
15 years 8 months ago
1999
Springer
This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decisiontheoretic principle of Pareto-optimality to derive a no...