Sciweavers

439 search results - page 60 / 88
» Unnesting Arbitrary Queries
Sort
View
FOCS
2003
IEEE
14 years 3 months ago
The Complexity of Homomorphism and Constraint Satisfaction Problems Seen from the Other Side
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...
Martin Grohe
AMR
2006
Springer
157views Multimedia» more  AMR 2006»
14 years 1 months ago
SAFIRE: Towards Standardized Semantic Rich Image Annotation
Most of the currently existing image retrieval systems make use of either low-level features or semantic (textual) annotations. A combined usage during annotation and retrieval is ...
Christian Hentschel, Andreas Nürnberger, Ingo...
PLANX
2007
13 years 11 months ago
Lux: A Lightweight, Statically Typed XML Update Language
Several proposals for updating XML have been introduced. Many of them have a rather complicated semantics due to the interaction of side-effects and updates, and some proposals a...
James Cheney
DAGSTUHL
2004
13 years 11 months ago
Multi-Domain Integration with MOF and extended Triple Graph Grammars
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
Alexander Königs, Andy Schürr
IJCAI
1989
13 years 11 months ago
Logic Programming with General Clauses and Defaults Based on Model Elimination
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
Marco A. Casanova, Ramiro A. de T. Guerreiro, Andr...