Sciweavers

3758 search results - page 77 / 752
» A Complete Subsumption Algorithm
Sort
View
ICIP
1999
IEEE
14 years 11 months ago
An Algorithm for Low Memory Wavelet Image Compression
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...
Christos Chrysafis, Antonio Ortega
TABLEAUX
2009
Springer
14 years 4 months ago
Sound Global State Caching for ALC with Inverse Roles
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. ...
Rajeev Goré, Florian Widmann
DEBS
2008
ACM
13 years 11 months ago
Extending Siena to support more expressive and flexible subscriptions
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...
John Keeney, Dominik Roblek, Dominic Jones, David ...
MKWI
2008
190views Business» more  MKWI 2008»
13 years 11 months ago
Partial Matchmaking for complex Product and Service Descriptions
: 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...
Heiner Stuckenschmidt, Martin Kolb
IPL
2010
158views more  IPL 2010»
13 years 7 months ago
Finding bipartite subgraphs efficiently
Polynomial algorithms are given for the following two problems:
Dhruv Mubayi, György Turán