3921 search results - page 607 / 785 » Transforming Models with ATL |
139
click to vote
VR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a complete framework for creating a speechenabled avatar from a single image of a person. Our approach uses a generic facial motion model which represents defo...
135
click to vote
ACNS
2008
Springer
15 years 10 months ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...
138
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...
144
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
129
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...