2263 search results - page 181 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
141
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
165
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We present tight surrogate regret bounds for the class of proper (i.e., Fisher consistent) losses. The bounds generalise the margin-based bounds due to Bartlett et al. (2006). The...
186
click to vote
BLISS
2009
IEEE
15 years 7 months ago
2009
IEEE
Self configuring VLSI technology architectures offer a new environment for creating novel security functions. Two such functions for physical security architectures are proposed t...
182
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
121
click to vote
KES
2005
Springer
16 years 23 hour ago
2005
Springer
Abstract. After the doubtful success of content-based e-learning systems, simulations are gaining momentum within the e-learning community. Along this line we are working on JV2 M,...