Sciweavers

1413 search results - page 123 / 283
» ideas 2007
Sort
View
144
Voted
IPAS
2007
15 years 7 months ago
Multilevel surround inhibition: a biologically inspired contour detector
Canny edge detector is based both on local and global image analysis, present in the gradient computation and connectivity-related hysteresis thresholding, respectively. This cont...
Giuseppe Papari, Patrizio Campisi, Nicolai Petkov
DLOG
2007
15 years 7 months ago
A New Mapping from ALCI to ALC
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
Yu Ding, Volker Haarslev, Jiewen Wu
DLOG
2007
15 years 7 months ago
Modal Logic Applied to Query Answering and the Case for Variable Modalities
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
Evgeny Zolin
DLOG
2007
15 years 7 months ago
Distributed Description Logics Revisited
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
Martin Homola
FLAIRS
2007
15 years 7 months ago
Temporal Networks with Alternatives: Complexity and Model
Temporal Networks play an important role in solving planning problems and they are also used, though not as frequently, when solving scheduling problems. In this paper we propose ...
Roman Barták, Ondrej Cepek