469 search results - page 30 / 94 » Putting curry-howard to work |
ICSE
1995
IEEE-ACM
13 years 11 months ago
1995
IEEE-ACM
As software developers we are engineers because we make useful machines. We are concerned both with the world, in which the machine serves a useful purpose, and with the machine i...
AINA
2007
IEEE
13 years 9 months ago
2007
IEEE
In mobile ad hoc networks (MANETs), multi-hop message relay is the common way for nodes to communicate and participate in network operations, making routing a primary issue. The e...
DAGSTUHL
2007
13 years 9 months ago
2007
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life i...
DAGSTUHL
2006
13 years 9 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
ECIR
2006
Springer
13 years 9 months ago
2006
Springer
Although it has been shown that in test collection based studies, stemming improves retrieval effectiveness in an information retrieval system, morphological variations of queries ...