1529 search results - page 118 / 306 » Search Space Analysis of the Linear Ordering Problem |
127
Voted
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
136
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
Current networked information systems on the Internet, whilst extremely successful, run into problems of fragmentation, consistency, scalability, and loss of orientation. The deve...
131
click to vote
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
167
click to vote
SIAMSC
2008
15 years 4 months ago
2008
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...
151
click to vote
CACM
2010
15 years 2 months ago
2010
As it becomes increasingly viable to capture, store, and share large amounts of image and video data, automatic image analysis is crucial to managing visual information. Many prob...