265 search results - page 37 / 53 » Lambda calculus with patterns |
DEXAW
2007
IEEE
15 years 3 months ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
92
Voted
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
LACL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...