535 search results - page 36 / 107 » Do we need dependent types |
ICWL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In many circumstances, including e-learning, there is a need to reorganize digital resources, scattered in many places, into a coherently accessible repository. This pape...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
CRYPTO
2006
Springer
13 years 11 months ago
2006
Springer
In the setting of multiparty computation, a set of parties wish to jointly compute a function of their inputs, while preserving security in the case that some subset of them are co...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— We investigate a technique that uses an embedded network deployed pervasively throughout an environment to aid robots in navigation. First, we show that the path computed by th...
ICDT
2007
ACM
14 years 1 months ago
2007
ACM
Information integration is becoming a critical problem for businesses and individuals alike. Data volumes are sky-rocketing, and new sources and types of information are proliferat...