Sciweavers

171 search results - page 13 / 35
» From State- to Delta-Based Bidirectional Model Transformatio...
Sort
View
APCCM
2009
13 years 9 months ago
Synthesis of Orchestrators from Service Choreographies
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
Stephen McIlvenna, Marlon Dumas, Moe Thandar Wynn
EUROCRYPT
2010
Springer
14 years 22 days ago
Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
Sebastian Faust, Tal Rabin, Leonid Reyzin, Eran Tr...
CPHYSICS
2007
66views more  CPHYSICS 2007»
13 years 8 months ago
Simulation of photons from plasmas for the applications to display devices
Numerical modeling of the photon transport of the ultra violet (UV) and the visible lights are presented for plasma based display devices. The transport of UV lights which undergo...
Hae June Lee, Hyun Jin Yoon, Jae Koo Lee
IJCAI
2007
13 years 9 months ago
Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination
This paper develops a statistical inference approach, Bayesian Tensor Inference, for style transformation between photo images and sketch images of human faces. Motivated by the r...
Wei Liu, Xiaoou Tang, Jianzhuang Liu
ICPR
2008
IEEE
14 years 2 months ago
Dynamic structure from motion based on nonlinear adaptive observers
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
Ola Dahl, Anders Heyden