5639 search results - page 735 / 1128 » Timed Abstract Non-interference |
146
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. Active Shape Models are a popular method for segmenting three-dimensional medical images. To obtain the required landmark correspondences, various automatic approaches ha...
128
click to vote
IPMI
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Active imaging is a recently developed approach to modelbased optimisation of imaging protocols. In the application we discuss here, a diffusion magnetic resonance imagin...
147
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
254
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Application frameworks provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implement...
294
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
form uses a notational abstractions called -functions. These instructions have no analogous in actual machine instruction sets, and they must be replaced by ordinary instructions ...