1523 search results - page 135 / 305 » Partially ordered secretaries |
72
Voted
RTA
2005
Springer
15 years 6 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...
93
Voted
ECAI
2004
Springer
15 years 6 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...
111
click to vote
BIRTHDAY
2000
Springer
15 years 5 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...
123
Voted
CAISE
2000
Springer
15 years 5 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...
109
Voted
IMPERIAL
1993
15 years 4 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...