5165 search results - page 100 / 1033 » Consistency of the Neighbor-Net Algorithm |
119
Voted
AAAI
2006
15 years 3 months ago
2006
Set variables are ubiquitous in modeling (soft) constraint problems, but efforts on practical consistency algorithms for Weighted Constraint Satisfaction Problems (WCSPs) have onl...
116
Voted
ICDT
2005
ACM
15 years 8 months ago
2005
ACM
We consider the problem of retrieving consistent answers over databases that might be inconsistent with respect to some given integrity constraints. In particular, we concentrate o...
116
click to vote
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper furthers the recent investigation of search heuristics based on solution counting information, by proposing and evaluating algorithms to compute solution densi...
141
click to vote
FSTTCS
2010
Springer
15 years 15 days ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
128
click to vote
WABI
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. A recursive algorithm by Aho, Sagiv, Szymanski, and Ullman [1] forms the basis for many modern rooted supertree methods employed in Phylogenetics. However, as observed by...