Sciweavers

2944 search results - page 41 / 589
» Robust Semantic Construction
Sort
View
VMCAI
2007
Springer
14 years 2 months ago
Constructing Specialized Shape Analyses for Uniform Change
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W....
CONCUR
2004
Springer
14 years 1 months ago
Modular Construction of Modal Logics
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
Corina Cîrstea, Dirk Pattinson
LEC
2002
IEEE
131views Languages» more  LEC 2002»
14 years 1 months ago
The VOLEM Project : a Framework for the Construction of Advanced Multilingual Lexicons
We report in this short document the results of a Regional European project carried out on Spanish, Catalan, Occitan and French whose aim is to design a lexical knowledge base whe...
Ana Fernandez, Gloria Vazquez, Patrick Saint-Dizie...
ICDE
2002
IEEE
103views Database» more  ICDE 2002»
14 years 1 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
COLING
1996
13 years 9 months ago
Mental State Adjectives: the Perspective of Generative Lexicon
This paper focusses on mental state adjectives and offers a unified analysis in the theory of Generative Lexicon (Pustejovsky, 1991, 1995). We show that, instead of enumerating th...
Pierrette Bouillon