4767 search results - page 451 / 954 » Structures for Abstract Rewriting |
204
Voted
ER
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
208
Voted
TCC
2012
Springer
14 years 2 months ago
2012
Springer
The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the o...
164
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Motivated by image perturbation and the geometry of manifolds, we present a novel method combining these two elements. First, we form a tangent space from a set of pertur...
165
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Humans demonstrate a remarkable ability to parse complicated motion sequences into their constituent structures and motions. We investigate this problem, attempting to le...
172
Voted
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We propose a fully automatic framework to detect and extract arbitrary human motion volumes from real-world videos collected from YouTube. Our system is composed of two s...