11588 search results - page 57 / 2318 » Will They Like This |
145
click to vote
LREC
2010
15 years 7 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...
132
click to vote
MOBICOM
2004
ACM
15 years 11 months ago
2004
ACM
Angle of arrival (AOA) has previously been used for outdoor positioning in aircraft navigation and for services like
148
click to vote
UIST
1994
ACM
15 years 10 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 ...
187
click to vote
CTCS
1987
Springer
15 years 9 months 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...