3729 search results - page 674 / 746 » On Formal Modeling of Agent Computations |
195
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper focuses on hallucinating a facial shape from a low-resolution 3D facial shape. Firstly, we give a constrained conformal embedding of 3D shape in R2 , which establishes ...
144
click to vote
ENTCS
2010
15 years 6 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
153
click to vote
JCP
2006
15 years 6 months ago
2006
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...
158
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion has been advocat...
168
Voted
SAC
2008
ACM
15 years 5 months ago
2008
ACM
We address aggregate queries over GIS data and moving object data, where non-spatial information is stored in a data warehouse. We propose a formal data model and query language t...