2263 search results - page 181 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
134
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...
158
click to vote
ICML
2009
IEEE
16 years 6 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...
172
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...
170
click to vote
PPDP
2007
Springer
16 years 6 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...
116
click to vote
KES
2005
Springer
15 years 11 months 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,...