Sciweavers

937 search results - page 2 / 188
» On the Complexity of Partial Order Properties
Sort
View
JCT
2008
132views more  JCT 2008»
13 years 5 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»
13 years 8 months 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 5 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
13 years 10 months ago
Specifying and Verifying Partial Order Properties Using Template MSCs
Blaise Genest, Marius Minea, Anca Muscholl, Doron ...