Sciweavers

1791 search results - page 215 / 359
» Semantics and Complexity of SPARQL
Sort
View
ICIP
2003
IEEE
16 years 7 months ago
New image retrieval paradigm: logical composition of region categories
We present a novel framework for intelligent search and retrieval by image content composition. Very different from the existing Query-by-Example paradigm, logical queries are exp...
Julien Fauqueur, Nozha Boujemaa
ICIP
2002
IEEE
16 years 7 months ago
Exploiting group structure to improve retrieval accuracy and speed in image databases
Most image retrieval systems perform a linear search over the database to find the closest match to a query. However, databases usually exhibit a natural grouping structure into c...
Nuno Vasconcelos
262
Voted
ICDE
2003
IEEE
134views Database» more  ICDE 2003»
16 years 7 months ago
Propagating XML Constraints to Relations
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
Susan B. Davidson, Wenfei Fan, Carmem S. Hara, Jin...
CADE
2006
Springer
16 years 6 months ago
Dynamic Logic with Non-rigid Functions
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
Bernhard Beckert, André Platzer
CADE
2002
Springer
16 years 6 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks