3799 search results - page 638 / 760 » An Engineering Approach to Formal Methods |
167
Voted
CVPR
2008
IEEE
15 years 5 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 ...
177
click to vote
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
145
click to vote
ALIFE
2006
15 years 5 months ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
143
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
134
click to vote
IJFCS
2006
15 years 4 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...