1381 search results - page 107 / 277 » Computational Complexity of Constraint Satisfaction |
155
click to vote
ECCV
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates the linear degeneracies of projective structure estimation from point and line features across three views. We show that the rank of the linear system of e...
142
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
We create interactive art that can be enjoyed by groups such as audiences at public events with the intent to encourage communication with those around us as we play with the art....
149
click to vote
JAIR
2000
15 years 4 months ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
111
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
152
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...