1229 search results - page 29 / 246 » Associated type synonyms |
EACL
2006
ACL Anthology
15 years 1 months ago
2006
ACL Anthology
All questions are implicitly associated with an expected answer type. Unlike previous approaches that require a predefined set of question types, we present a method for dynamical...
112
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: The relationship between disease susceptibility and genetic variation is complex, and many different types of data are relevant. We describe a web resource and databas...
TYPES
1999
Springer
15 years 4 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
PRICAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Infection by high-risk human papillomaviruses (HPVs) is associated with the development of cervical cancers. Classification of risk types is important to understand the ...
ESOP
2009
Springer
15 years 3 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...