Sciweavers

989 search results - page 76 / 198
» Version spaces and the consistency problem
Sort
View
PLILP
1998
Springer
14 years 2 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
DEXAW
1996
IEEE
100views Database» more  DEXAW 1996»
14 years 2 months ago
An Incremental Update Propagation Scheme for a Cooperative Transaction Model
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
Am-suk Oh, Jin-oh Choi, Bonghee Hong
ECAI
2008
Springer
13 years 12 months ago
A Formal Approach for RDF/S Ontology Evolution
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...
George Konstantinidis, Giorgos Flouris, Grigoris A...
PPSC
1997
13 years 11 months ago
New Implementations and Results for the NAS Parallel Benchmarks 2
We present new implementations and results for the NAS Parallel Benchmarks 2 suite. The suite currently consists of seven programs. Of these LU, SP, BT, MG and FT have previously ...
William Saphir, Rob F. Van der Wijngaart, Alex Woo...
TIT
2010
154views Education» more  TIT 2010»
13 years 4 months ago
A universal scheme for Wyner-Ziv coding of discrete sources
We consider the Wyner-Ziv (WZ) problem of lossy compression where the decompressor observes a noisy version of the source, whose statistics are unknown. A new family of WZ coding a...
Shirin Jalali, Sergio Verdú, Tsachy Weissma...