2742 search results - page 455 / 549 » Deriving Category Theory from Type Theory |
DESRIST
2009
Springer
14 years 1 months ago
2009
Springer
In information system development, end-users often participate in design and in many cases learn to design their own system. Design, however, requires a distinct approach that use...
FOCS
2000
IEEE
14 years 1 months ago
2000
IEEE
In this article, we show several results obtained by combining the use of stable distributions with pseudorandom generators for bounded space. In particular: —We show that, for a...
VISUALIZATION
1999
IEEE
14 years 1 months ago
1999
IEEE
In recent years, substantial progress has been achieved in the area of volume visualization on irregular grids, which is mainly based on tetrahedral meshes. Even moderately fine t...
DIALM
2007
ACM
14 years 26 days ago
2007
ACM
Sketches--data structures for probabilistic, duplicate insensitive counting--are central building blocks of a number of recently proposed network protocols, for example in the con...
HT
2010
ACM
13 years 11 months ago
2010
ACM
We investigate the use of autonomically created small-world graphs as a framework for the long term storage of digital objects on the Web in a potentially hostile environment. We ...