Sciweavers

9405 search results - page 44 / 1881
» Computing a Model of Set Theory
Sort
View
VLDB
2007
ACM
130views Database» more  VLDB 2007»
15 years 10 months ago
Model Management and Schema Mappings: Theory and Practice
We present an overview of a tutorial on model management--an approach to solving data integration problems, such as data warehousing, e-commerce, object-to-relational mapping, sch...
Philip A. Bernstein, Howard Ho
AIMS
2007
Springer
15 years 4 months ago
Modeling Change Without Breaking Promises
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
Alva L. Couch, Hengky Susanto, Marc Chiarini
BSL
2005
106views more  BSL 2005»
14 years 9 months ago
Compactness and independence in non first order frameworks
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...
Itay Ben-Yaacov
CCA
2005
Springer
15 years 3 months ago
A Lambda Calculus for Real Analysis
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
Paul Taylor 0002
GRC
2007
IEEE
15 years 4 months ago
MGRS in Incomplete Information Systems
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on the universe. In the view of granular computing, classica...
Yuhua Qian, Jiye Liang, Chuangyin Dang