4087 search results - page 38 / 818 » Sets in Types, Types in Sets |
LREC
2008
13 years 10 months ago
2008
This paper describes the creation of a state-of-the-art answer type detection system capable of recognizing more than 200 different expected answer types with greater than 85% pre...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
ACS
2006
13 years 8 months ago
2006
Nuclei which are defined over a class of frames are called nuclear typings. There is the dual notion of a spatial selector, and the relationship between nuclear typings and spatial...
COCOON
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we deal with restoring missing information in molecule databases: Some data formats only store the atoms’ configuration but omit bond multiplicities. As this info...
ESOP
2011
Springer
13 years 8 days ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...