Sciweavers

937 search results - page 2 / 188
» On the Complexity of Partial Order Properties
Sort
View
JCT
2008
132views more  JCT 2008»
13 years 8 months ago
The absolute order on the symmetric group, constructible partially ordered sets and Cohen-Macaulay complexes
The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflec...
Christos A. Athanasiadis, Myrto Kallipoliti
MFDBS
1991
125views Database» more  MFDBS 1991»
14 years 1 days ago
A Relational Algebra for Complex Objects Based on Partial Information
We study an approach to relational databases which treats relations not as subsets of a Cartesian product but as subsets of some domain { a partially ordered space of descriptions...
Leonid Libkin
IPL
2008
131views more  IPL 2008»
13 years 8 months ago
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
J. Francisco Chicano, Enrique Alba
FOSSACS
2004
Springer
14 years 1 months ago
Specifying and Verifying Partial Order Properties Using Template MSCs
Blaise Genest, Marius Minea, Anca Muscholl, Doron ...