11588 search results - page 57 / 2318 » Will They Like This |
LREC
2010
13 years 10 months ago
2010
We focus on textual entailments mediated by syntax and propose a new methodology to evaluate textual entailment recognition systems on such data. The main idea is to generate a sy...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
MOBICOM
2004
ACM
14 years 2 months ago
2004
ACM
Angle of arrival (AOA) has previously been used for outdoor positioning in aircraft navigation and for services like
UIST
1994
ACM
14 years 1 months ago
1994
ACM
Conventional windowing environments provide separate classes of objects for user interface components, or "widgets," and graphical objects. Widgets negotiate layout and ...
CTCS
1987
Springer
14 years 13 days ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...