1626 search results - page 132 / 326 » Subtyping with Power Types |
125
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
134
click to vote
IWFM
2003
15 years 5 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
134
click to vote
BMCBI
2006
15 years 4 months ago
2006
In this short article, we discuss a simple method for assessing sample size requirements in microarray experiments. Our method starts with the output from a permutation-based anal...
144
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
149
click to vote
COLING
2002
15 years 4 months ago
2002
Spoken queries are a natural medium for searching the Web in settings where typing on a keyboard is not practical. This paper describes a speech interface to the Google search eng...