Sciweavers

2370 search results - page 154 / 474
» A Structured Set of Higher-Order Problems
Sort
View
CP
2007
Springer
15 years 9 months ago
Tradeoffs in the Complexity of Backdoor Detection
Abstract There has been considerable interest in the identification of structural properties of combinatorial problems that lead to efficient algorithms for solving them. Some of...
Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwa...
159
Voted
CONCUR
1997
Springer
15 years 7 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
108
Voted
WWW
2001
ACM
16 years 4 months ago
Improving Web Site's Accessibility
We consider the problem of improving the performance of web access by proposing a reconstruction of the internal link structure of a web site in order to match the quality of the ...
John D. Garofalakis, Panagiotis Kappos, Christos M...
121
Voted
SEMWEB
2009
Springer
15 years 10 months ago
BeliefOWL: An Evidential Representation in OWL Ontology
The OWL is a language for representing ontologies but it is unable to capture the uncertainty about the concepts for a domain. To address the problem of representing uncertainty, w...
Amira Essaid, Boutheina Ben Yaghlane
129
Voted
ISNN
2007
Springer
15 years 9 months ago
Extensions of Manifold Learning Algorithms in Kernel Feature Space
Manifold learning algorithms have been proven to be capable of discovering some nonlinear structures. However, it is hard for them to extend to test set directly. In this paper, a ...
Yaoliang Yu, Peng Guan, Liming Zhang