Sciweavers

1329 search results - page 85 / 266
» Models and solution techniques for frequency assignment prob...
Sort
View
HYBRID
2007
Springer
16 years 1 months ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
INTERSPEECH
2010
15 years 2 months ago
Efficient HMM-based estimation of missing features, with applications to packet loss concealment
In this paper, we present efficient HMM-based techniques for estimating missing features. By assuming speech features to be observations of hidden Markov processes, we derive a mi...
Bengt J. Borgström, Per Henrik Borgström...
ICCS
2005
Springer
16 years 23 days ago
Multiscale Modelling of Bubbly Systems Using Wavelet-Based Mesh Adaptation
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
Tom Liu, Phil Schwarz
DIALM
2005
ACM
130views Algorithms» more  DIALM 2005»
15 years 9 months ago
On lower bounds for MAC layer contention in CSMA/CA-based wireless networks
Wireless LANs operating within unlicensed frequency bands require random access schemes such as CSMA/CA, so that wireless networks from different administrative domains (for exam...
Frank A. Zdarsky, Ivan Martinovic, Jens B. Schmitt
CORR
2011
Springer
230views Education» more  CORR 2011»
15 years 2 months ago
Computational Rationalization: The Inverse Equilibrium Problem
Modeling the behavior of imperfect agents from a small number of observations is a difficult, but important task. In the singleagent decision-theoretic setting, inverse optimal co...
Kevin Waugh, Brian Ziebart, J. Andrew Bagnell