Sciweavers

1631 search results - page 189 / 327
» Observing Functional Logic Computations
Sort
View
127
Voted
GECCO
2005
Springer
209views Optimization» more  GECCO 2005»
15 years 9 months ago
Genetic algorithm optimization of superresolution parameters
Superresolution is the process of producing a high resolution image from a collection of low resolution images. This process has potential application in a wide spectrum of fields...
Barry Ahrens
142
Voted
ICML
2004
IEEE
15 years 9 months ago
Optimising area under the ROC curve using gradient descent
This paper introduces RankOpt, a linear binary classifier which optimises the area under the ROC curve (the AUC). Unlike standard binary classifiers, RankOpt adopts the AUC stat...
Alan Herschtal, Bhavani Raskutti
154
Voted
BMCBI
2004
126views more  BMCBI 2004»
15 years 3 months ago
A probabilistic model for the evolution of RNA structure
Background: For the purposes of finding and aligning noncoding RNA gene- and cis-regulatory elements in multiple-genome datasets, it is useful to be able to derive multi-sequence ...
Ian Holmes
138
Voted
ICFP
2005
ACM
16 years 3 months ago
Monadic augment and generalised short cut fusion
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo ...
123
Voted
POPL
2010
ACM
16 years 1 months ago
Monads in Action
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
Andrzej Filinski