8228 search results - page 320 / 1646 » Structural Logical Relations |
158
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
We describe an algorithm for reconstructing the 3D shape of the scene and the relative pose of a number of cameras from a collection of images under the assumption that the scene ...
167
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
224
click to vote
KAIS
2000
15 years 6 months ago
2000
Abstract. In this paper we present an index structure, called MetricMap, that takes a set of objects and a distance metric and then maps those objects to a k-dimensional space in s...
206
click to vote
AGP
2003
IEEE
16 years 20 hour ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
159
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...