Sciweavers

79 search results - page 15 / 16
» cp 2006
Sort
View
CP
2006
Springer
14 years 2 months ago
Adaptive Clause Weight Redistribution
In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability problems. However...
Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abd...
CP
2007
Springer
14 years 5 months ago
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
Miquel Ramírez, Hector Geffner
NAR
2000
84views more  NAR 2000»
13 years 10 months ago
SRPDB (Signal Recognition Particle Database)
The Signal Recognition Particle Database (SRPDB) at http://psyche.uthct.edu/dbs/SRPDB/SRPDB.html and http://bio.lundberg.gu.se/dbs/SRPDB/SRPDB. html assists in the better understa...
Christian Zwieb, Tore Samuelsson
NECO
2002
100views more  NECO 2002»
13 years 10 months ago
Robust Regression with Asymmetric Heavy-Tail Noise Distributions
In the presence of a heavy-tail noise distribution, regression becomes much more di cult. Traditional robust regression methods assume that the noise distribution is symmetric and...
Ichiro Takeuchi, Yoshua Bengio, Takafumi Kanamori
CP
2006
Springer
14 years 24 days ago
Distributed Stable Matching Problems with Ties and Incomplete Lists
We consider the Stable Marriage Problem and the Stable Roommates Problem in presence of ties and incomplete preference lists. They can be solved by centralized algorithms, but this...
Ismel Brito, Pedro Meseguer