703 search results - page 45 / 141 » Fundamentals of Session Types |
TVCG
2012
11 years 11 months ago
2012
—We propose a novel approach for the reconstruction of urban structures from 3D point clouds with an assumption of Manhattan World (MW) building geometry; i.e., the predominance ...
PPDP
2004
Springer
14 years 2 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
ICDCSW
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper addresses the fundamental tradeoffs in event systems between scalability (of event filtering, routing, and delivery mechanisms), expressiveness (when describing intere...
ASIACRYPT
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. Group signature schemes are fundamental cryptographic tools that enable unlinkably anonymous authentication, in the same fashion that digital signatures provide the basis...