877 search results - page 139 / 176 » Full Abstraction for HOPLA |
180
click to vote
ISVC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...
197
Voted
KI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
158
Voted
MSN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a simple and efficient distributed method for determining the transmission power assignment that maximises the lifetime of a data-gathering wireless sensor net...
169
click to vote
SACRYPT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
162
click to vote
SAS
2007
Springer
16 years 26 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...