2487 search results - page 115 / 498 » cases 2009 |
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
161
Voted
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
Many applications in computer vision require comparisons
between two images of the same scene. Comparison
applications usually assume that corresponding regions in
the two image...
210
Voted
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
The vast majority of work on skyline queries considers totally ordered domains, whereas in many applications some attributes are partially ordered, as for instance, domains of set ...
90
Voted
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
Abstract—Existing solutions for building wireless mesh networks suffer from reduced efficiency. This is due to lack of reliable self-configuration procedures that can dynamical...
88
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
—We exhibit a deterministic concurrent reachability game PURGATORYn with n non-terminal positions and a binary choice for both players in every position so that any positional st...