Sciweavers

3521 search results - page 158 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
NC
2006
116views Neural Networks» more  NC 2006»
15 years 14 days ago
Automated Design and Programming of a Microfluidic DNA Computer
Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
Michael S. Livstone, Ron Weiss, Laura F. Landweber
ICMCS
2008
IEEE
121views Multimedia» more  ICMCS 2008»
15 years 7 months ago
Online video advertising based on user's attention relavancy computing
Information overload has become an important problem in the internet, and that all kinds of existing ads flood into people’s eyes causes scarcity of user’s attention. To provi...
Jinqiao Wang, Yikai Fang, Hanqing Lu
113
Voted
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
15 years 7 months ago
An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
DAWAK
2009
Springer
15 years 4 months ago
Skyline View: Efficient Distributed Subspace Skyline Computation
Skyline queries have gained much attention as alternative query semantics with pros (e.g.low query formulation overhead) and cons (e.g.large control over result size). To overcome ...
Jinhan Kim, Jongwuk Lee, Seung-won Hwang
RTSS
2008
IEEE
15 years 7 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian