2362 search results - page 305 / 473 » Programming in Standard ML |
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We develop and analyze M-estimation methods for divergence functionals and the likelihood ratios of two probability distributions. Our method is based on a non-asymptotic variatio...
124
click to vote
ECEASST
2008
15 years 4 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
134
click to vote
ENTCS
2008
15 years 4 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
112
click to vote
BIB
2006
15 years 4 months ago
2006
This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
144
click to vote
IJET
2008
15 years 4 months ago
2008
This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...