Sciweavers

5671 search results - page 410 / 1135
» A Semantic Approach to Interpolation
Sort
View
FMLDO
2000
Springer
138views Database» more  FMLDO 2000»
15 years 11 months ago
Schema Evolution and Versioning: A Logical and Computational Characterisation
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
COLING
2008
15 years 9 months ago
Anomalies in the WordNet Verb Hierarchy
The WordNet verb hierarchy is tested, with a view to improving the performance of its applications, revealing topological anomalies and casting doubt on its semantic categories. E...
Tom Richens
ACL
2003
15 years 9 months ago
A Ranking Model of Proximal and Structural Text Retrieval Based on Region Algebra
This paper investigates an application of the ranked region algebra to information retrieval from large scale but unannotated documents. We automatically annotated documents with ...
Katsuya Masuda
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 7 months ago
Using Description Logics for Recognising Textual Entailment
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
Paul Bedaride
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
15 years 7 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan