1523 search results - page 9 / 305 » Partially ordered secretaries |
107
Voted
APN
2001
Springer
15 years 4 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
135
Voted
ACST
2006
15 years 1 months ago
2006
Consider the problem of membership query for a given partially ordered set. We devise a greedy algorithm which can produce near-optimal search strategies. Rigorous analysis has be...
STOC
2009
ACM
16 years 1 months ago
2009
ACM
80
Voted
CP
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we study four algorithms for computing the frequency of a given partial order. Here the frequency of a partial order is the number of standard labellings respecting t...
CP
2001
Springer
15 years 5 months ago
2001
Springer
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...