Sciweavers

396 search results - page 34 / 80
» How scientific models can explain
Sort
View
HASKELL
2006
ACM
14 years 1 months ago
Strong types for relational databases
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
Alexandra Silva, Joost Visser
ICFP
2007
ACM
14 years 7 months ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...
WOSP
2005
ACM
14 years 1 months ago
A capacity management service for resource pools
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...
Jerry Rolia, Ludmila Cherkasova, Martin F. Arlitt,...
AUSAI
2009
Springer
14 years 2 months ago
Enhancing MML Clustering Using Context Data with Climate Applications
Abstract. In Minimum Message Length (MML) clustering (unsupervised classification, mixture modelling) the aim is to infer a set of classes that best explains the observed data ite...
Gerhard Visser, David L. Dowe, Petteri Uotila
CVPR
2007
IEEE
14 years 9 months ago
Hybrid learning of large jigsaws
A jigsaw is a recently proposed generative model that describes an image as a composition of non-overlapping patches of varying shape, extracted from a latent image. By learning t...
Julia A. Lasserre, Anitha Kannan, John M. Winn