2850 search results - page 326 / 570 » On Timed Models and Full Abstraction |
163
click to vote
AOSD
2006
ACM
16 years 21 days ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
171
click to vote
JSAC
2006
15 years 6 months ago
2006
The characterization of the transfer function of the power line (PL) channel is a nontrivial task that requires a truly interdisciplinary approach. Until recently, a common attribu...
193
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The cardiac valvular apparatus, composed of the aortic, mitral, pulmonary and tricuspid valve, is an essential part of the anatomical, functional and hemodynamic characte...
204
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. This paper addresses the problem of probabilistically modeling 3D human motion for synthesis and tracking. Given the high dimensional nature of human motion, learning an ...
319
Voted
OOPSLA
2004
Springer
16 years 2 days ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...