4209 search results - page 467 / 842 » Abstract Dialectical Frameworks |
157
click to vote
EMMCVPR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this work, we introduce a robust energy model for multiview 3D reconstruction that fuses silhouette- and stereo-based image information. It allows to cope with signiļ¬...
137
click to vote
EPIA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out diļ¬culties for aggregating uncertain information. A generalization of the lot...
147
click to vote
ERCIMDL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present an approach to question answering over heterogeneous knowledge sources that makes use of diļ¬erent ontology management components within the sce...
133
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating ļ¬nite-state machines, which...
150
Voted
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We study ā within the framework of propositional proof complexity ā the problem of certifying unsatisļ¬ability of CNF formulas under the promise that any satisļ¬abl...