Sciweavers

5372 search results - page 367 / 1075
» complexity 2007
Sort
View
IJCAI
2003
15 years 8 months ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti
IJCAI
2003
15 years 8 months ago
Answer Set Optimization
We investigate the combination of answer set programming and qualitative optimization techniques. Answer set optimization programs (ASO programs) have two parts. The generating pr...
Gerhard Brewka, Ilkka Niemelä, Miroslaw Trusz...
SIMVIS
2004
15 years 8 months ago
3D Shape Matching Using Skeleton Graphs
We describe a method to match 3D polygonal geometry models using their internal skeleton graphs. These graphs carry information about the overall shape of the model. In order to m...
Angela Brennecke, Tobias Isenberg
IJCAI
2003
15 years 8 months ago
Boosting Face Identification in Airports
Robust face identification system in complex airport environment, which can identify certain candidates from a crowd of people in real time, is in urgent demand. S-AdaBoost is dis...
Jimmy Jiang Liu, Kia-Fock Loe
IJCAI
2003
15 years 8 months ago
In the quest of the best form of local consistency for Weighted CSP
The weighted CSP (WCSP) framework is a soft constraint framework with a wide range of applications. In this paper, we consider the problem of maintaining local consistency during ...
Javier Larrosa, Thomas Schiex