Sciweavers

3625 search results - page 121 / 725
» On Timed Models of Gene Networks
Sort
View
128
Voted
TC
2008
15 years 3 months ago
Implementing Synchronous Models on Loosely Time Triggered Architectures
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
123
Voted
FOSSACS
2005
Springer
15 years 9 months ago
Foundations of Web Transactions
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
Cosimo Laneve, Gianluigi Zavattaro
126
Voted
UAI
2003
15 years 5 months ago
Learning Module Networks
Methods for learning Bayesian networks can discover dependency structure between observed variables. Although these methods are useful in many applications, they run into computat...
Eran Segal, Dana Pe'er, Aviv Regev, Daphne Koller,...
167
Voted
ICONIP
2008
15 years 5 months ago
Time Series Analysis for Long Term Prediction of Human Movement Trajectories
This paper's intention is to adapt prediction algorithms well known in the field of time series analysis to problems being faced in the field of mobile robotics and Human-Robo...
Sven Hellbach, Julian Eggert, Edgar Körner, H...
111
Voted
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
15 years 10 months ago
Dynamical structure analysis of sparsity and minimality heuristics for reconstruction of biochemical networks
— Network reconstruction, i.e. obtaining network structure from input-output information, is a central theme in systems biology. A variety of approaches aim to obtaining structur...
Russell Howes, Lee John Eccleston, Jorge M. Goncal...