Sciweavers

1181 search results - page 124 / 237
» A New Definition of Creativity
Sort
View
EWDW
1994
14 years 1 months ago
Optimization of Object-Oriented Queries by Inverse Methods
For object-oriented databases we propose a new technique for optimizing queries containing method invocations. This technique is based on the definition of inverse methods and que...
Johann Eder, Heinz Frank, Walter Liebhart
POPL
1994
ACM
14 years 1 months ago
A Needed Narrowing Strategy
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
Sergio Antoy, Rachid Echahed, Michael Hanus
VLDB
1993
ACM
78views Database» more  VLDB 1993»
14 years 1 months ago
The Use of Information Capacity in Schema Integration and Translation
In this paper, we carefully explore the assumptions behind using information capacity equivalence as a measure of correctness for judging transformed schemas in schema integration...
Renée J. Miller, Yannis E. Ioannidis, Raghu...
ASWC
2006
Springer
14 years 25 days ago
Dental Decision Making on Missing Tooth Represented in an Ontology and Rules
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
Seon Gyu Park, Hong-Gee Kim
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
14 years 25 days ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba