2223 search results - page 133 / 445 » Hierarchical Morphable Models |
142
click to vote
PDPTA
2004
15 years 5 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
142
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
In the security domain a key problem is identifying rare behaviours of interest. Training examples for these behaviours may or may not exist, and if they do exist there will be fe...
143
click to vote
ETFA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
163
click to vote
POPL
2012
ACM
14 years 2 days ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
157
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
– In this paper, we present a hierarchical methodology that learns new walking gaits autonomously while operating in an uncharted environment, such as on the Mars planetary surfa...