2032 search results - page 230 / 407 » Encodings of the Sequence Constraint |
151
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. While several powerful methods exist for automatically detecting symmetries in instances of constraint satisfaction problems (CSPs), current methods for detecting symmetr...
208
click to vote
SNPD
2003
15 years 8 months ago
2003
This paper deals with the problem of estimating multiple motions at points where these motions are overlaid. We present a new approach that is based on block matching and can deal...
179
Voted
IAJIT
2008
15 years 6 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
157
click to vote
JAIR
2010
15 years 5 months ago
2010
Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a feature su...
153
click to vote
PVLDB
2010
15 years 5 months ago
2010
We show that it is possible to significantly improve the accuracy of a general class of histogram queries while satisfying differential privacy. Our approach carefully chooses a...