2362 search results - page 32 / 473 » Programming in Standard ML |
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
ML
2000
ACM
14 years 11 months ago
2000
ACM
Detecting and diagnosing errors in novice behavior is an important student modeling task. In this paper, we describe MEDD, an unsupervised incremental multistrategy system for the ...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Received signal strength (RSS)-based single source localization when there is not a prior knowledge about the transmit power of the source is investigated. Because of nonconvex be...
115
click to vote
ICDE
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—MapReduce is emerging as a generic parallel programming paradigm for large clusters of machines. This trend combined with the growing need to run machine learning (ML) a...
210
click to vote
POPL
2002
ACM
16 years 5 days ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...