1523 search results - page 135 / 305 » Partially ordered secretaries |
125
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
A convenient method for defining a quasi-ordering, such as those used for proving termination of rewriting, is to choose the minimum of a set of quasi-orderings satisfying some d...
150
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
169
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
175
click to vote
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurre...
161
click to vote
IMPERIAL
1993
15 years 10 months ago
1993
We describe some ideas and results about the following problem: Given a set, a family of \preference relations" on the set, and a \priority" among those preference relat...