Sciweavers

1565 search results - page 2 / 313
» The Intensional View Environment
Sort
View
CORR
2011
Springer
185views Education» more  CORR 2011»
13 years 4 days ago
Sound and Complete Query Answering in Intensional P2P Data Integration
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
Zoran Majkic
ICSM
2005
IEEE
13 years 10 months ago
Towards a Framework for Testing Structural Source-Code Regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
CORR
2011
Springer
149views Education» more  CORR 2011»
12 years 9 months ago
Intensionality and Two-steps Interpretations
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
Zoran Majkic
DEDUCTIVE
1994
119views Database» more  DEDUCTIVE 1994»
13 years 6 months ago
Determining Correct View Update Translations via Query Containment
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
Anthony Tomasic
COLING
1996
13 years 6 months ago
An Education and Research Tool for Computational Semantics
This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algo...
Karsten Konrad, Holger Maier, David Milward, Manfr...