Sciweavers

1223 search results - page 169 / 245
» Semantic Visualization and Meaning Computation
Sort
View
ICLP
2003
Springer
15 years 5 months ago
Order and Negation as Failure
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
Davy Van Nieuwenborgh, Dirk Vermeir
LICS
2002
IEEE
15 years 4 months ago
The Powerdomain of Indexed Valuations
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
Daniele Varacca
ICPR
2000
IEEE
15 years 4 months ago
(Semi-) Automatic Segmentation in Historic Collections of Heraldic Images
A modern approach to manage multimedia databases is content-based retrieval. Especially in image databases graphical features like color, texture or shape can be used efficiently ...
Jürgen Vogel, Wolf-Tilo Balke, Werner Kie&szl...
VLDB
1992
ACM
98views Database» more  VLDB 1992»
15 years 3 months ago
Updates in a Rule-Based Language for Objects
The integration of object-oriented concepts into deductive databases has been investigated for a certain time now. Various approaches to incorporate updates into deduction have be...
Michael Kramer, Georg Lausen, Gunter Saake
DEDUCTIVE
1994
119views Database» more  DEDUCTIVE 1994»
15 years 1 months ago
Determining Correct View Update Translations via Query Containment
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
Anthony Tomasic