1636 search results - page 83 / 328 » Type-Theoretic Functional Semantics |
127
Voted
ICFP
1998
ACM
15 years 7 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
140
Voted
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
The Web is moving toward a collection of interoperating Web services. Achieving this interoperability requires dynamic discovery of Web services on the basis of their capabilities...
134
Voted
CHB
2011
14 years 7 months ago
2011
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
140
Voted
EJC
2008
15 years 5 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
142
Voted
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...