126 search results - page 12 / 26 » Compatible pointed pseudo-triangulations |
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a novel framework for consistent correspondence between arbitrary manifold meshes. Different from most existing methods, our approach directly maps the connectivity of ...
AOSD
2010
ACM
14 years 4 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
CHI
2009
ACM
14 years 4 months ago
2009
ACM
This project explores the social possibilities of mobile technology in transitional spaces such as public transport. Based on a cultural probes study of Stockholm subway commuters...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
ETFA
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...