Sciweavers

3706 search results - page 334 / 742
» OntoComP System Description
Sort
View
ECAI
2000
Springer
15 years 11 months ago
Explaining ALC Subsumption
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...
Alexander Borgida, Enrico Franconi, Ian Horrocks
120
Voted
SCALESPACE
1999
Springer
15 years 11 months ago
Calculations on Critical Points under Gaussian Blurring
Abstract. The behaviour of critical points of Gaussian scale-space images is mainly described by their creation and annihilation. In existing literature these events are determined...
Arjan Kuijper, Luc Florack
ASIAN
1998
Springer
111views Algorithms» more  ASIAN 1998»
15 years 11 months ago
A Comparison of Petri Net Semantics under the Collective Token Philosophy
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
Roberto Bruni, José Meseguer, Ugo Montanari...
ECML
1998
Springer
15 years 11 months ago
Learning to Classify X-Ray Images Using Relational Learning
: Image understanding often requires extensive background knowledge. The problem addressed in this paper is such knowledge can be acquired. We discuss how relational machine learni...
Claude Sammut, Tatjana Zrimec
DATE
1997
IEEE
107views Hardware» more  DATE 1997»
15 years 10 months ago
Acceleration of behavioral simulation on simulation specific machines
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...
Minoru Shoji, Fumiyasu Hirose, Shintaro Shimogori,...