2742 search results - page 425 / 549 » Deriving Category Theory from Type Theory |
HT
2004
ACM
14 years 2 months ago
2004
ACM
Many approaches have been pursued over the years to facilitate creating, organizing, and sharing collections of materials extracted from large information spaces. Little attention...
ITICSE
2004
ACM
14 years 2 months ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
MM
2004
ACM
14 years 2 months ago
2004
ACM
This paper proposes a visual representation named scene tunnel to archive and visualize urban scenes for Internet based virtual tour. We scan cityscapes using multiple cameras on ...
MSWIM
2004
ACM
14 years 2 months ago
2004
ACM
In case of natural disasters or intentional attacks, telecommunication networks often get heavily damaged and current resilience schemes have proven to be insufficient for rapid r...
SIGDOC
2004
ACM
14 years 2 months ago
2004
ACM
The concept of thumbnails is common in image representation. A thumbnail is a highly compressed version of an image that provides a small, yet complete visual representation to th...