70 search results - page 10 / 14 » Type Safe Algorithmic Skeletons |
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
This paper proposes a generic framework for monitoring continuous spatial queries over moving objects. The framework distinguishes itself from existing work by being the first to ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This work describes a novel methodology for automatic contour extraction from 2D images of 3D neurons (e.g. camera lucida images and other types of 2D microscopy). Most contour-ba...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
ECCV
2010
Springer
14 years 23 days ago
2010
Springer
Abstract. In this paper we propose a probabilistic framework that models shape variations and infers dense and detailed 3D shapes from a single silhouette. We model two types of sh...
VISUALIZATION
2000
IEEE
14 years 2 days ago
2000
IEEE
A new method for the simplification of flow fields is presented. It is based on continuous clustering. A well-known physical clustering model, the Cahn Hillard model which desc...