Sciweavers

2362 search results - page 46 / 473
» Programming in Standard ML
Sort
View
SFP
2001
15 years 1 months ago
Infinite Pretty-printing in eXene
We describe the design and implementation of a Standard ML of New Jersey library for the interactive pretty-printing of possibly infinite syntax trees. The library handles elision ...
Allen Stoughton
ICASSP
2010
IEEE
15 years 2 days ago
A non-iterative estimator for the concentration parameter of the relative phase distribution
In this paper, we propose an approximation of the relative phase probability function (RP pdf) and use it to find a non-iterative estimator for the concentration parameter of the...
Yothin Rakvongthai, Soontorn Oraintara
ML
2006
ACM
105views Machine Learning» more  ML 2006»
14 years 11 months ago
Propositionalization-based relational subgroup discovery with RSD
Abstract Relational rule learning algorithms are typically designed to construct classification and prediction rules. However, relational rule learning can be adapted also to subgr...
Filip Zelezný, Nada Lavrac
TAPSOFT
1995
Springer
15 years 3 months ago
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
Hanne Riis Nielson, Flemming Nielson
96
Voted
WWW
2006
ACM
16 years 16 days ago
Relaxed: on the way towards true validation of compound documents
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
Jirka Kosek, Petr Nálevka