Sciweavers

4814 search results - page 280 / 963
» Combining abstract interpreters
Sort
View
BMCBI
2010
149views more  BMCBI 2010»
15 years 6 months ago
Identifying common prognostic factors in genomic cancer studies: A novel index for censored outcomes
Background: With the growing number of public repositories for high-throughput genomic data, it is of great interest to combine the results produced by independent research groups...
Sigrid Rouam, Thierry Moreau, Philippe Broët
JAIR
2006
120views more  JAIR 2006»
15 years 6 months ago
FluCaP: A Heuristic Search Planner for First-Order MDPs
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
Steffen Hölldobler, Eldar Karabaev, Olga Skvo...
ICFP
2006
ACM
16 years 6 months ago
From structures and functors to modules and units
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
Scott Owens, Matthew Flatt
EUROPAR
2010
Springer
15 years 7 months ago
Exceptions for Algorithmic Skeletons
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
Mario Leyton, Ludovic Henrio, José M. Pique...
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 6 months ago
Detecting Danger: The Dendritic Cell Algorithm
l invaders in the form of pathogens. In this research, and abstract model of DC behaviour is developed and subsequently used to form an algorithm, the DCA. The abstraction process ...
Julie Greensmith, Uwe Aickelin, Steve Cayzer