13734 search results - page 158 / 2747 » Abstractions of data types |
148
Voted
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
The efficient market hypothesis states that an efficient market immediately incorporates all available information into the price of the traded entity. It is well established that...
116
click to vote
NAACL
2007
15 years 5 months ago
2007
We introduce an answer typing strategy specific to quantifiable how questions. Using the web as a data source, we automatically collect answer units appropriate to a given how-q...
128
click to vote
IPMU
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...
149
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
122
click to vote
LFP
1992
15 years 5 months ago
1992
Several papers ([Appe189],[Goldberg9 1]) have recently claimed that garbage collection can be performed on untagged data in the presence of ML-style type polymorphism. They rely o...