18 search results - page 1 / 4 » Resolve and Expand |
SAT
2004
Springer
14 years 4 months ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
IJCNLP
2004
Springer
14 years 4 months ago
2004
Springer
In this paper, we propose two indepentent solutions to resolve the problems of many different spelling variants and of lack of annotated corpus for training, which are two main di...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Abstract--We investigate the structure of the polytope underlying the linear programming (LP) decoder introduced by Feldman, Karger, and Wainwright. We first show that for expander...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
The simultaneous use of multiple aspect languages has the potential of becoming a significant one, as new aspectoriented frameworks are developed and existing ones expand to incor...
LCN
1999
IEEE
14 years 3 months ago
1999
IEEE
Maintaining the integrity of large-scale networks is becoming an increasingly daunting task as networks expand at an unprecedented rate. The majority of present network monitoring...