2509 search results - page 429 / 502 » Abstract Geometrical Computation and Computable Analysis |
POPL
2012
ACM
12 years 5 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
ISVC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present an approach for articulated motion detection and pose estimation that uses only motion information. To estimate the pose and viewpoint we introduce a novel mot...
IEEESP
2007
13 years 9 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
CLOUDCOM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
GIS
2007
ACM
14 years 4 months ago
2007
ACM
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...