Sciweavers

3145 search results - page 216 / 629
» Algebraic Linear Orderings
Sort
View
ENTCS
2010
94views more  ENTCS 2010»
15 years 6 months ago
Future Path-components in Directed Topology
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishna...
IJAR
2008
82views more  IJAR 2008»
15 years 6 months ago
Probabilistic rough set approximations
This paper reviews probabilistic approaches to rough sets in granulation, approximation, and rule induction. The Shannon entropy function is used to quantitatively characterize pa...
Yiyu Yao
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Priestley Duality for Strong Proximity Lattices
In 1937 Marshall Stone extended his celebrated representation theorem for Boolean algebras to distributive lattices. In modern terminology, the representing topological spaces are...
Mohamed A. El-Zawawy, Achim Jung
JC
2006
105views more  JC 2006»
15 years 6 months ago
On the complexity of the resolvent representation of some prime differential ideals
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...
Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solern&oa...
ICIP
2005
IEEE
16 years 8 months ago
Camera calibration with spheres: linear approaches
This paper addresses the problem of camera calibration from spheres. By studying the relationship between the dual images of spheres and that of the absolute conic, a linear solut...
Hui Zhang, Guoqiang Zhang, Kwan-Yee Kenneth Wong