1964 search results - page 278 / 393 » Partitioning Based Algorithms for Some Colouring Problems |
106
Voted
TCS
1998
15 years 2 months ago
1998
This paper presents algorithms and lower bounds for several fundamental problems on the Exclusive Read, Concurrent Write Parallel Random Access Machine (ERCW PRAM) and some result...
125
click to vote
IJAR
2010
15 years 29 days ago
2010
Probabilistic Decision Graphs (PDGs) are a class of graphical models that can naturally encode some context specific independencies that cannot always be efficiently captured by...
115
click to vote
FORMATS
2010
Springer
15 years 14 days ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
211
Voted
WADS
2009
Springer
15 years 9 months ago
2009
Springer
We analyze the problem of packing squares in an online fashion: Given an semi-infinite strip of width 1 and an unknown sequence of squares with side lengths in [0, 1] that arrive...
104
Voted
AAAI
2008
15 years 4 months ago
2008
Model-Based Diagnosis (MBD) typically focuses on diagnoses, minimal under some minimality criterion, e.g., the minimal-cardinality set of faulty components that explain an observa...