3758 search results - page 77 / 752 » A Complete Subsumption Algorithm |
151
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
As wavelet-based image coding is set to become more widely used (e.g. with the completion of the JPEG2000 standard), memory efficiency for wavelet-based coding is becoming an incr...
200
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
175
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
This paper defines and discusses the implementation of two novel extensions to the Siena Content-based Network (CBN) to extend it to become a Knowledge-based Network (KBN) thereby...
202
click to vote
MKWI
2008
15 years 8 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
180
click to vote
IPL
2010
15 years 3 months ago
2010
Polynomial algorithms are given for the following two problems: