2742 search results - page 323 / 549 » Deriving Category Theory from Type Theory |
PODC
2012
ACM
11 years 11 months ago
2012
ACM
The BGP (Border Gateway Protocol) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by ...
FOCS
1999
IEEE
14 years 1 months ago
1999
IEEE
Naor and Yung show that a one-bit-compressing universal one-way hash function (UOWHF) can be constructed based on a one-way permutation. This construction can be iterated to build...
ICCV
1998
IEEE
14 years 1 months ago
1998
IEEE
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...
ICCV
2009
IEEE
13 years 7 months ago
2009
IEEE
A fundamental problem in computer vision (CV) is the estimation of geometric parameters from multiple observations obtained from images; examples of such problems range from ellip...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...