2713 search results - page 192 / 543 » Parameterized Tree Systems |
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent work in hand gesture rendering and decoding has treated the two fields as separate and distinct. As the work of rendering evolves, it emphasizes exact movement replication,...
120
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...
118
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– Biped walking is one of the most graceful movements observed in humans. Today’s humanoid robots, despite their undeniably impressive performance, are still a long way from th...
147
click to vote
TLDI
2005
ACM
15 years 9 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
140
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...