4961 search results - page 164 / 993 » Homomorphism-Homogeneous Relational Structures |
124
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
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...
136
click to vote
ISAAC
2007
Springer
15 years 9 months ago
2007
Springer
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...
124
click to vote
ICDE
2005
IEEE
15 years 8 months ago
2005
IEEE
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...
132
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
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...
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...