4074 search results - page 665 / 815 » Abstract Graph Transformation |
103
Voted
KI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
133
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
130
click to vote
MICCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper introduces a novel method for ultrasound (US) probe calibration based on closed-form formulation and using minimal US imaging allowing for an immediate result....
125
Voted
OTM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To date, ontology research seems to have come to an equilibrium: there is a wide variety of theories, methods and tools for extracting, representing, storing and browsing...