2412 search results - page 344 / 483 » Which Problems Have Strongly Exponential Complexity |
105
Voted
RECOMB
2002
Springer
16 years 2 months ago
2002
Springer
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...
144
Voted
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
117
Voted
APLAS
2000
ACM
15 years 7 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
107
Voted
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
I propose a uniform approach to the elimination of redundancy in CCG lexicons, where grammars incorporate inheritance hierarchies of lexical types, defined over a simple, feature-...
117
Voted
CONSTRAINTS
2010
15 years 2 months ago
2010
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...