2742 search results - page 310 / 549 » Deriving Category Theory from Type Theory |
SPAA
2010
ACM
13 years 9 months ago
2010
ACM
Given the sequential implementation of any data structure, we show how to obtain an efficient, wait-free implementation of that data structure shared by any fixed number of proces...
AO
2008
13 years 9 months ago
2008
Abstract. The rapid increase in the number and use of biological ontologies necessitates developing systems for their integration. In this paper we present a core ontology for biol...
CCR
2010
13 years 9 months ago
2010
We present a sophisticated framework to systematically explore the temporal correlation in environmental monitoring wireless sensor networks. The presented framework optimizes los...
SIGECOM
2008
ACM
13 years 9 months ago
2008
ACM
We examine a class of wagering mechanisms designed to elicit truthful predictions from a group of people without requiring any outside subsidy. We propose a number of desirable pr...
SIGIR
2008
ACM
13 years 9 months ago
2008
ACM
We describe a method for applying parsimonious language models to re-estimate the term probabilities assigned by relevance models. We apply our method to six topic sets from test ...