Sciweavers

2080 search results - page 5 / 416
» Collections, Cardinalities, and Relations
Sort
View
JSYML
2002
64views more  JSYML 2002»
13 years 6 months ago
Blowing up The Power Set of The Least Measurable
Abstract. We prove some results related to the problem of blowing up the power set of the least measurable cardinal. Our forcing results improve those of [1] by using the optimal h...
Arthur W. Apter, James Cummings
ER
2008
Springer
102views Database» more  ER 2008»
13 years 8 months ago
On Temporal Cardinality in the Context of the TOWL Language
The TOWL language is a temporal ontology language built on top of OWL-DL that enables descriptions involving time and temporal aspects such as change and state transitions. Extendi...
Viorel Milea, Michael Mrissa, Kees van der Sluijs,...
DASFAA
2010
IEEE
166views Database» more  DASFAA 2010»
14 years 1 months ago
The Objects Interaction Matrix for Modeling Cardinal Directions in Spatial Databases
Abstract. Besides topological relations and approximate relations, cardinal directions have turned out to be an important class of qualitative spatial relations. In spatial databas...
Tao Chen, Markus Schneider, Ganesh Viswanathan, We...
JFP
2008
75views more  JFP 2008»
13 years 7 months ago
Exploiting reachability and cardinality in higher-order flow analysis
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
Matthew Might, Olin Shivers
JCP
2006
91views more  JCP 2006»
13 years 7 months ago
The Matching Predicate and a Filtering Scheme Based on Matroids
Finding a maximum cardinality matching in a graph is a problem appearing in numerous settings. The problem asks for a set of edges of maximum cardinality, such that no two edges of...
Dimitris Magos, Ioannis Mourtos, Leonidas S. Pitso...