882 search results - page 137 / 177 » Local Search for Very Large SAT Problems |
152
Voted
FOCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Learning problems form an important category of computational tasks that generalizes many of the computations researchers apply to large real-life data sets. We ask: what concept ...
135
click to vote
SIAMSC
2010
15 years 2 months ago
2010
In this paper we extend the micro-macro decomposition based asymptotic-preserving scheme developed in [3] for the single species Boltzmann equation to the multispecies problems. A...
112
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
151
click to vote
JMLR
2008
15 years 3 months ago
2008
The linear model with sparsity-favouring prior on the coefficients has important applications in many different domains. In machine learning, most methods to date search for maxim...
141
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
This work introduces distance-based criteria for segmentation of object trajectories. Segmentation leads to simplification of the original objects into smaller, less complex primi...