Sciweavers

8141 search results - page 137 / 1629
» Higher Order Generalization
Sort
View
ACS
2005
15 years 3 months ago
Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...
Isar Stubbe
201
Voted
ICDE
2004
IEEE
127views Database» more  ICDE 2004»
16 years 4 months ago
Lazy Database Replication with Ordering Guarantees
Lazy replication is a popular technique for improving the performance and availability of database systems. Although there are concurrency control techniques which guarantee seria...
Khuzaima Daudjee, Kenneth Salem
112
Voted
COMBINATORICS
2006
126views more  COMBINATORICS 2006»
15 years 3 months ago
The Induced Subgraph Order on Unlabelled Graphs
A differential poset is a partially ordered set with raising and lowering operators U and D which satisfy the commutation relation DU-UD = rI for some constant r. This notion may ...
Craig A. Sloss
105
Voted
AI
2005
Springer
15 years 3 months ago
First order LUB approximations: characterization and algorithms
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
Alvaro del Val
JOLLI
2007
83views more  JOLLI 2007»
15 years 3 months ago
Modeling generalized implicatures using non-monotonic logics
This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, ...
Jacques Wainer