2292 search results - page 319 / 459 » Structure preserving embedding |
149
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
119
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
It is possible to translate code written in Emacs Lisp or another Lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely ...
127
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
— Spurred by financial scandals and privacy concerns, governments worldwide have moved to ensure confidence in digital records by regulating their retention and deletion. These...
128
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
152
click to vote
ACML
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose a Robust Discriminant Analysis based on maximum entropy (MaxEnt) criterion (MaxEnt-RDA), which is derived from a nonparametric estimate of Renyi’s quadr...