Sciweavers

1515 search results - page 143 / 303
» Information Integration: Conceptual Modeling and Reasoning S...
Sort
View
LEGE
2004
171views Education» more  LEGE 2004»
14 years 11 months ago
The Model of Collaborative Learning GRID to activate interactivity for Knowledge Building
The purpose of this study is to support the learning activity in the Internet learning space. In this paper, we examine the GRID technology as the knowledge management for support...
Toshio Okamoto, Mizue Kayama
CEFP
2007
Springer
15 years 4 months ago
Proving Properties of Lazy Functional Programs with Sparkle
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
ICDE
2007
IEEE
103views Database» more  ICDE 2007»
15 years 11 months ago
A Semantic Approach to Discovering Schema Mapping Expressions
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative ...
Alexander Borgida, John Mylopoulos, Renée J...
DOCENG
2008
ACM
14 years 12 months ago
Interactive office documents: a new face for web 2.0 applications
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...
John M. Boyer
DLOG
2008
15 years 12 days ago
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
Andrea Calì, Georg Gottlob, Michael Kifer