6618 search results - page 938 / 1324 » Natural Logic for Natural Language |
300
click to vote
ICDE
1999
IEEE
16 years 9 months ago
1999
IEEE
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
178
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
This paper discusses the design of a physical and digital system intended to allow for easy manipulation and interaction with the tremendous amount of options present in advanced ...
212
click to vote
PODS
2004
ACM
16 years 7 months ago
2004
ACM
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...
190
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
163
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...