17983 search results - page 105 / 3597 » Set Types and Applications |
125
Voted
JAPLL
2007
15 years 2 months ago
2007
Many open domain question answering systems answer questions by first harvesting a large number of candidate answers, and then picking the most promising one from the list. One c...
137
click to vote
AISC
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
113
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show ...
140
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
178
Voted
ECOOP
1991
Springer
15 years 6 months ago
1991
Springer
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...