Sciweavers

18 search results - page 1 / 4
» Resolve and Expand
Sort
View
SAT
2004
Springer
109views Hardware» more  SAT 2004»
13 years 9 months ago
Resolve and Expand
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...
Armin Biere
IJCNLP
2004
Springer
13 years 9 months ago
SVM-Based Biological Named Entity Recognition Using Minimum Edit-Distance Feature Boosted by Virtual Examples
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...
Eunji Yi, Gary Geunbae Lee, Yu Song, Soo-Jun Park
CORR
2006
Springer
127views Education» more  CORR 2006»
13 years 3 months ago
Guessing Facets: Polytope Structure and Improved LP Decoder
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...
Alexandros G. Dimakis, Martin J. Wainwright
ICSE
2007
IEEE-ACM
14 years 3 months ago
Identifying Feature Interactions in Multi-Language Aspect-Oriented Frameworks
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...
Sergei Kojarski, David H. Lorenz
LCN
1999
IEEE
13 years 8 months ago
An Integrated Software Immune System: A Framework for Automated Network Management, System Health, and Security
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...
Michael Gilfix