Sciweavers

742 search results - page 89 / 149
» Applications of Belief Revision
Sort
View
JGAA
2006
75views more  JGAA 2006»
15 years 6 months ago
Upward Planar Drawings and Switch-regularity Heuristics
In this paper we present a new characterization of switch-regular upward embeddings, a concept introduced by Di Battista and Liotta in 1998. This characterization allows us to def...
Walter Didimo
JAPLL
2007
117views more  JAPLL 2007»
15 years 6 months ago
Logic-Based Agent Verification
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
Michael Fisher, Munindar P. Singh, Diana F. Spears...
JODS
2007
142views Data Mining» more  JODS 2007»
15 years 6 months ago
Context Dependency Management in Ontology Engineering: A Formal Approach
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
Pieter De Leenheer, Aldo de Moor, Robert Meersman
JRTIP
2010
137views more  JRTIP 2010»
15 years 28 days ago
Cascaded online boosting
In this paper, we propose a cascaded version of the online boosting algorithm to speed-up the execution time and guarantee real-time performance even when employing a large number ...
Ingrid Visentini, Lauro Snidaro, Gian Luca Foresti
TSP
2010
15 years 26 days ago
Sampling from a system-theoretic viewpoint part I: concepts and tools
This paper is first in a series of papers studying a system-theoretic approach to the problem of reconstructing an analog signal from its samples. The idea, borrowed from earlier t...
Gjerrit Meinsma, Leonid Mirkin