6045 search results - page 1080 / 1209 » Computable Linearizations of Well-partial-orderings |
CCGRID
2005
IEEE
13 years 11 months ago
2005
IEEE
We introduce the Composite Endpoint Protocol (CEP) which efficiently composes a set of transmission elements to support high speed flows which exceed the capabilities of a single...
CVPR
2005
IEEE
13 years 11 months ago
2005
IEEE
Multibody affine Structure From Motion (SFM) methods commonly assume independent motion between objects such that the ‘measurement matrix’ has rank 4k. When multiple views ar...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
CSR
2008
Springer
13 years 11 months ago
2008
Springer
The universal cover TG of a connected graph G is the unique (possible infinite) tree covering G, i.e., that allows a locally bijective homomorphism from TG to G. Universal covers h...
DNA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Nature is considered one promising area to search for inspiration in designing robotic systems. Some work in swarm robotics has tried to build systems that resemble distr...