Sciweavers

4962 search results - page 689 / 993
» Stochastic Model Checking
Sort
View
TOG
2010
97views more  TOG 2010»
14 years 9 months ago
A practical simulation of dispersed bubble flow
In this paper, we propose a simple and efficient framework for simulating dispersed bubble flow. Instead of modeling the complex hydrodynamics of numerous small bubbles explicitly...
Doyub Kim, Oh-Young Song, Hyeong-Seok Ko
TOG
2010
157views more  TOG 2010»
14 years 9 months ago
Computer-generated residential building layouts
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
Paul Merrell, Eric Schkufza, Vladlen Koltun
TSP
2010
14 years 9 months ago
Testing stationarity with surrogates: a time-frequency approach
An operational framework is developed for testing stationarity relatively to an observation scale, in both stochastic and deterministic contexts. The proposed method is based on a ...
Pierre Borgnat, Patrick Flandrin, Paul Honeine, C&...
ICASSP
2011
IEEE
14 years 6 months ago
PAC-Bayesian approach for minimization of phoneme error rate
We describe a new approach for phoneme recognition which aims at minimizing the phoneme error rate. Building on structured prediction techniques, we formulate the phoneme recogniz...
Joseph Keshet, David A. McAllester, Tamir Hazan
ICASSP
2011
IEEE
14 years 6 months ago
Design of robust steerable broadband beamformers incorporating microphone gain and phase error characteristics
Beamformers are known to be sensitive to errors and mismatches in their array elements. This paper proposes a robust steerable broadband beamformer design using the Farrow structu...
Chiong-Ching Lai, Sven Nordholm, Yee-Hong Leung