Sciweavers

5066 search results - page 272 / 1014
» Spectra of structures and relations
Sort
View
SIGMOD
1990
ACM
122views Database» more  SIGMOD 1990»
15 years 10 months ago
Access Support in Object Bases
In this work access support relataons are introduced as a means for optlmizmg query processing m object-oriented database systems The general idea 1s to mamtam redundant separate ...
Alfons Kemper, Guido Moerkotte
FASE
2010
Springer
16 years 1 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
ISAAC
2007
Springer
146views Algorithms» more  ISAAC 2007»
16 years 20 days ago
Bounded Tree-Width and CSP-Related Problems
We study the complexity of structurally restricted homomorphism and constraint satisfaction problems. For every class of relational structures C, let LHOM(C, _) be the problem of d...
Tommy Färnqvist, Peter Jonsson
ICDE
2005
IEEE
127views Database» more  ICDE 2005»
16 years 4 days ago
Static and Dynamic Scoring by Web Page Grouping
Web Search System exists to retrieve necessary information on the WWW space. However, these are not accuracy enough. Then, we propose the technique for using Web Page Grouping tog...
Hitoshi Nakakubo, Takashi Sato
ECAI
2004
Springer
15 years 12 months ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa