15375 search results - page 348 / 3075 » cans 2008 |
125
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
148
Voted
AMDO
2008
Springer
15 years 6 months ago
2008
Springer
We present a system that can segment articulated, non-rigid motion without a priori knowledge of the number of clusters present in the analyzed scenario. We combine existing algori...
117
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
112
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Four quotient monoids over step sequences and one with compound generators are introduced and discussed. They all can be regarded as extensions (of various degrees) of Mazurkiewicz...
APPROX
2008
Springer
15 years 6 months ago
2008
Springer
We exhibit an explicit function f : {0,1}n {0,1} that can be computed by a nondeterministic number-on-forehead protocol communicating O(logn) bits, but that requires n(1) bits of...