Sciweavers

2946 search results - page 207 / 590
» Physical Modeling in MATLAB
Sort
View
TCS
2010
15 years 4 months ago
Detecting synchronisation of biological oscillators by model checking
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
ICIP
2006
IEEE
16 years 8 months ago
Denoising Archival Films using a Learned Bayesian Model
We develop a Bayesian model of digitized archival films and use this for denoising, or more specifically de-graining, individual frames. In contrast to previous approaches our mod...
Teodor Mihai Moldovan, Stefan Roth, Michael J. Bla...
ICML
2009
IEEE
16 years 7 months ago
Exploiting sparse Markov and covariance structure in multiresolution models
We consider Gaussian multiresolution (MR) models in which coarser, hidden variables serve to capture statistical dependencies among the finest scale variables. Tree-structured MR ...
Myung Jin Choi, Venkat Chandrasekaran, Alan S. Wil...
MOBIHOC
2006
ACM
16 years 6 months ago
Analysis of random mobility models with PDE's
In this paper we revisit two classes of mobility models which are widely used to represent users' mobility in wireless networks: Random Waypoint (RWP) and Random Direction (R...
Michele Garetto, Emilio Leonardi
SASO
2007
IEEE
16 years 22 days ago
A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
Heiko Hamann, Heinz Wörn