11097 search results - page 403 / 2220 » Hera presentation generator |
218
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
204
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...
200
click to vote
CANS
2009
Springer
16 years 2 months ago
2009
Springer
We present a hash-based signature scheme customized for wireless sensor networks. For message lengths required by instructions or queries from the base station or single measuremen...
222
click to vote
ARCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
223
click to vote
SIBGRAPI
2007
IEEE
16 years 2 months ago
2007
IEEE
We present a versatile, fast and simple framework to generate animations of scanned human characters from input optical motion capture data. Our method is purely meshbased and req...