601 search results - page 85 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
131
click to vote
CG
2005
Springer
15 years 1 months ago
2005
Springer
In this paper, we present a feature-based free-form shape modelling technique based on solving a fundamental problem of reconstructing the depth information from 2D sketch planes....
TIP
2008
15 years 1 months ago
2008
Abstract--This paper addresses the problem of efficient representation of scenes captured by distributed omnidirectional vision sensors. We propose a novel geometric model to descr...
117
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...
129
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Recently, research on disconnected networks has been fostered by several studies on delay-tolerant networks, which are designed in order to sustain disconnected operations. We ...