4184 search results - page 84 / 837 » Names of Our Lives |
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
OOPSLA
2010
Springer
15 years 21 hour ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
121
click to vote
IWMM
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
283
click to vote
ISM
2006
IEEE
15 years 7 months ago
2006
IEEE
— Peer-to-peer (P2P) systems are becoming a popular means of streaming audio and video content but they are prone to bandwidth starvation if selfish peers do not contribute band...
PREMI
2005
Springer
15 years 7 months ago
2005
Springer
Text mining techniques have been proposed for extracting protein names and their interactions. First, we have made improvements on existing methods for handling single word protein...