133 search results - page 6 / 27 » Dissipativity properties of detailed models of synchronous g... |
CCS
2001
ACM
13 years 12 months ago
2001
ACM
We propose a novel and robust hashing paradigm that uses iterative geometric techniques and relies on observations that main geometric features within an image would approximately ...
GI
2009
Springer
14 years 2 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
ACII
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
ISPD
2004
ACM
14 years 27 days ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...