Sciweavers

3875 search results - page 634 / 775
» Approximation algorithms for the 0-extension problem
Sort
View
HYBRID
2009
Springer
16 years 9 days ago
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
Alexandre Donzé, Bruce H. Krogh, Akshay Raj...
156
Voted
EMO
2009
Springer
174views Optimization» more  EMO 2009»
16 years 2 days ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
ICASSP
2008
IEEE
15 years 12 months ago
High-dynamic range compression using a fast multiscale optimization
to appear in Proc. IEEE Int’l Conf. on Acoustics, Speech, and Signal Processing, March, 2008 High-dynamic-range medical images take intensity values which cannot be visualized o...
Matthieu Maitre, Yunqiang Chen, Tong Fang
ICASSP
2008
IEEE
15 years 12 months ago
Using variational bayes free energy for unsupervised voice activity detection
This paper addresses the problem of Voice Active Detection (VAD) in noisy environments. We introduce Variational Bayes approach to EM for classification to replace the heuristic ...
David Cournapeau, Tatsuya Kawahara
GLOBECOM
2007
IEEE
15 years 12 months ago
Non-Cooperative Power Control for Faded Wireless Ad Hoc Networks
— The problem of non-cooperative power control is studied for wireless ad hoc networks supporting data services. We develop a maximum throughput based non-cooperative power contr...
Xiaolu Zhang, Meixia Tao, Chun Sum Ng