688 search results - page 20 / 138 » Types for trees |
104
click to vote
PLANX
2008
15 years 2 months ago
2008
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
213
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
98
Voted
AIRS
2006
Springer
15 years 4 months ago
2006
Springer
We report on a study that was undertaken to better identify users' goals behind web search queries by using click through data. Based on user logs which contain over 80 millio...
162
Voted
IGARSS
2010
14 years 7 months ago
2010
This paper investigates the performance of machine learning methods for classifying rock types from hyperspectral data. The main objective is to test the impact on classification ...
112
Voted
IGARSS
2009
14 years 10 months ago
2009
This study used remotely-sensed phenology data derived from Advanced Very High Resolution Radiometer (AVHRR), in a fully supervised decision-tree classification based on the new b...