688 search results - page 40 / 138 » Types for trees |
116
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
140
click to vote
FPCA
1989
15 years 7 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
153
click to vote
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
142
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Machine learning techniques have shown to improve bacterial species classification based on fatty acid methyl ester (FAME) data. Nonetheless, FAME analysis has a limit...
126
click to vote
PAKDD
2005
ACM
15 years 8 months ago
2005
ACM
Abstract. In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of ...