Sciweavers

924 search results - page 124 / 185
» Teaching simulation using case studies
Sort
View
CVPR
2008
IEEE
16 years 1 months ago
Fast and robust numerical solutions to minimal problems for cameras with radial distortion
A number of minimal problems of structure from motion for cameras with radial distortion have recently been studied and solved in some cases. These problems are known to be numeri...
Karl Åström, Klas Josephson, Martin Byr...
PIMRC
2008
IEEE
15 years 6 months ago
QoE estimation from MAC-level QoS in audio-video transmission with IEEE 802.11e EDCA
— This paper estimates Quality of Experience (QoE), i.e., user–level QoS from MAC–level QoS for audio–video transmission over an IEEE 802.11e EDCA wireless LAN. The MAC– ...
Takahiro Suzuki, Tasuku Kutsuna, Shuji Tasaka
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 5 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
COOP
2004
15 years 1 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
JMLR
2008
141views more  JMLR 2008»
14 years 11 months ago
A New Algorithm for Estimating the Effective Dimension-Reduction Subspace
The statistical problem of estimating the effective dimension-reduction (EDR) subspace in the multi-index regression model with deterministic design and additive noise is consider...
Arnak S. Dalalyan, Anatoly Juditsky, Vladimir Spok...