Sciweavers

15372 search results - page 405 / 3075
» The Semantics of Semantic Annotation
Sort
View
ICDE
2002
IEEE
103views Database» more  ICDE 2002»
15 years 11 months ago
Using Unity to Semi-Automatically Integrate Relational Schema
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
Ramon Lawrence, Ken Barker
ESOP
1999
Springer
15 years 11 months ago
Deterministic Expressions in C
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
Michael Norrish
CSR
2006
Springer
15 years 10 months ago
Logic of Proofs for Bounded Arithmetic
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
Evan Goris
SIGLEX
1991
15 years 10 months ago
Logical Structures in the Lexicon
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
John F. Sowa
AI
2008
Springer
15 years 8 months ago
Some Simplified Forms of Reasoning with Distance-Based Entailments
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
Ofer Arieli, Anna Zamansky