Sciweavers

2412 search results - page 95 / 483
» Which Problems Have Strongly Exponential Complexity
Sort
View
AAAI
2006
15 years 4 months ago
Embedding Heterogeneous Data Using Statistical Models
Embedding algorithms are a method for revealing low dimensional structure in complex data. Most embedding algorithms are designed to handle objects of a single type for which pair...
Amir Globerson, Gal Chechik, Fernando Pereira, Naf...
IJCAI
1997
15 years 4 months ago
Equational Reasoning using AC Constraints
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
David A. Plaisted, Yunshan Zhu
AUTOMATICA
2008
97views more  AUTOMATICA 2008»
15 years 3 months ago
Output-feedback stabilization of an unstable wave equation
We consider the problem of stabilization of a one-dimensional wave equation that contains instability at its free end and control on the opposite end. In contrast to classical col...
Miroslav Krstic, Bao-Zhu Guo, András Balogh...
COR
2006
65views more  COR 2006»
15 years 3 months ago
An exact method for graph coloring
We are interested in the graph coloring problem. We propose an exact method based on a linear-decomposition of the graph. The complexity of this method is exponential according to...
Corinne Lucet, Florence Mendes, Aziz Moukrim
KI
2006
Springer
15 years 3 months ago
A New n-ary Existential Quantifier in Description Logics
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...