4620 search results - page 119 / 924 » Comparing Object Encodings |
154
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
153
click to vote
CGF
2000
15 years 5 months ago
2000
We present a new technique to render in real time objects which have part of their high frequency geometric detail encoded in bump maps. It is based on the quantization of normal-...
167
click to vote
MVA
2002
15 years 5 months ago
2002
This paper uses a simple method for representing motion in successively layered silhouettes that directly encode system time termed the timed Motion History Image (tMHI). This rep...
152
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
The process of finding representative shape patterns from sparse datasets is a challenging task: especially for non-rigid objects, shape deformations through time can produce very...
175
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...