Sciweavers

1368 search results - page 195 / 274
» Signal Probability Based Statistical Timing Analysis
Sort
View
VMCAI
2010
Springer
14 years 5 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
ATAL
2009
Springer
14 years 2 months ago
Pick-a-bundle: a novel bundling strategy for selling multiple items within online auctions
In this paper, we consider the design of an agent that is able to autonomously make optimal bundling decisions when selling multiple heterogeneous items within existing online auc...
Ioannis A. Vetsikas, Alex Rogers, Nicholas R. Jenn...
GECCO
2009
Springer
101views Optimization» more  GECCO 2009»
14 years 2 months ago
Modeling UCS as a mixture of experts
We present a probabilistic formulation of UCS (a sUpervised Classifier System). UCS is shown to be a special case of mixture of experts where the experts are learned independentl...
Narayanan Unny Edakunni, Tim Kovacs, Gavin Brown, ...
BCB
2010
166views Bioinformatics» more  BCB 2010»
13 years 3 months ago
Fast graph approaches to measure influenza transmission across geographically distributed host types
Recent advances in next generation sequencing are providing a number of large whole-genome sequence datasets stemming from globally distributed disease occurrences. This offers an...
Adrienne Breland, Karen Schlauch, Mehmet Hadi Gune...
INFOCOM
2009
IEEE
14 years 2 months ago
Emulation and Approximation of a Flexible Delay Line by Parallel Non-Overtaking Delay Lines
—In this paper we propose to construct an flexible delay line with maximum delay d by parallel non-overtaking delay lines. We show that for a fixed number of non-overtaking del...
Duan-Shin Lee, Kai-Jie Hsu, Cheng-Shang Chang, Jay...