Sciweavers

4539 search results - page 582 / 908
» Approaches to Compute Workflow Complexity
Sort
View
ATAL
2007
Springer
16 years 25 days ago
Letting loose a SPIDER on a network of POMDPs: generating quality guaranteed policies
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...
Pradeep Varakantham, Janusz Marecki, Yuichi Yabu, ...
BMCBI
2007
62views more  BMCBI 2007»
15 years 6 months ago
Missing channels in two-colour microarray experiments: Combining single-channel and two-channel data
Background: There are mechanisms, notably ozone degradation, that can damage a single channel of two-channel microarray experiments. Resulting analyses therefore often choose betw...
Andy G. Lynch, David E. Neal, John D. Kelly, Glyn ...
ECCV
2004
Springer
16 years 8 months ago
Weak Hypotheses and Boosting for Generic Object Detection and Recognition
In this paper we describe the first stage of a new learning system for object detection and recognition. For our system we propose Boosting [5] as the underlying learning technique...
Andreas Opelt, Michael Fussenegger, Axel Pinz, Pet...
ICFP
2008
ACM
16 years 6 months ago
A scheduling framework for general-purpose parallel languages
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
Matthew Fluet, Mike Rainey, John H. Reppy
FM
2009
Springer
138views Formal Methods» more  FM 2009»
16 years 1 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...