7123 search results - page 334 / 1425 » The Ordered Set of Rough Sets |
166
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
A general method of systematic derivation of affine moment invariants of any weights and orders is introduced. Each invariant is expressed by its generating graph. Techniques for ...
148
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
194
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
173
click to vote
RELMICS
2009
Springer
16 years 1 months ago
2009
Springer
Using relation algebra, we generalize Aumann’s notion of a contact relation and that of a closure operation from powersets to general membership relations and their induced parti...
152
click to vote
COREGRID
2007
Springer
16 years 28 days ago
2007
Springer
This paper outlines the conceptual model of the NextGRID architecture. This conceptual model consists of a set of architectural principles and a simple decomposition of the archite...