Sciweavers

159 search results - page 17 / 32
» aaai 1998
Sort
View
AAAI
1998
15 years 1 months ago
Two Forms of Dependence in Propositional Logic: Controllability and Definability
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
Jérôme Lang, Pierre Marquis
AAAI
1998
15 years 1 months ago
Branch and Bound Algorithm Selection by Performance Prediction
Wepropose a method called Selection by Performance Prediction (SPP) which allows one, when faced with a particular problem instance, to select a Branch and Boundalgorithm from amo...
Lionel Lobjois, Michel Lemaître
AAAI
1998
15 years 1 months ago
Natural Language Multiprocessing: A Case Study
This paper presents two case studies of parallelization of large Natural Language Processing (NLP) applications using a parallel logic programmingsystem (called "ACE")th...
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David ...
AAAI
1998
15 years 1 months ago
On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems
In [4], Freuderdefines several types of interchangeability to capture the equivalenceamongthe valuesof a variable in a discrete constraint satisfaction problem(CSP), and provides ...
Berthe Y. Choueiry, Guevara Noubir
AAAI
1998
15 years 1 months ago
Feature Generation for Sequence Categorization
The problem of sequence categorization is to generalize from a corpus of labeled sequences procedures for accurately labeling future unlabeled sequences. The choice of representat...
Daniel Kudenko, Haym Hirsh