4880 search results - page 783 / 976 » Manuals as Structured Programs |
151
click to vote
COMGEO
2008
ACM
15 years 6 months ago
2008
ACM
The flow complex is a geometric structure, similar to the Delaunay tessellation, to organize a set of (weighted) points in Rk. Flow shapes are topological spaces corresponding to ...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
High-dimensional statistical inference deals with models in which the the number of parameters p is comparable to or larger than the sample size n. Since it is usually impossible ...
193
click to vote
JFP
2006
15 years 6 months ago
2006
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
193
click to vote
NAR
2006
15 years 6 months ago
2006
The MPI Bioinformatics Toolkit is an interactive web service which offers access to a great variety of public and in-house bioinformatics tools. They are grouped into different se...