ML
2008
ACM
13 years 11 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
ML
2008
ACM
13 years 11 months ago
2008
ACM
ML
2008
ACM
13 years 11 months ago
2008
ACM
ML
2008
ACM
13 years 11 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
ML
2008
ACM
13 years 11 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
ML
2008
ACM
13 years 11 months ago
2008
ACM
We address the issue of compiling ML pattern matching to compact and efficient decisions trees. Traditionally, compilation to decision trees is optimized by (1) implementing decis...
ML
2008
ACM
13 years 11 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
AI
2007
Springer
13 years 11 months ago
2007
Springer
We present a novel approach to machine learning, called ABML (argumentation based ML). This approach combines machine learning from examples with concepts from the field of argum...
ICALT
2007
IEEE
13 years 11 months ago
2007
IEEE
School custom is the base of its sustainable development ability. Addressing the present dilemma of constructing the school customs, the paper argued school organizational knowled...
ICALT
2007
IEEE
13 years 11 months ago
2007
IEEE
Feedback provided to a user is an important part of learning and interaction in e-learning systems. In this paper we present the results of our pilot experiment aimed to study int...