Sciweavers

264 search results - page 6 / 53
» Numerical Verification of Optimality Conditions
Sort
View
CDC
2008
IEEE
136views Control Systems» more  CDC 2008»
15 years 4 months ago
Distributed hypothesis testing with a fusion center: The conditionally dependent case
Abstract— The paper deals with decentralized Bayesian detection with M hypotheses, and N sensors making conditionally correlated measurements regarding these hypotheses. Each sen...
Kien C. Nguyen, Tansu Alpcan, Tamer Basar
AMC
2005
134views more  AMC 2005»
14 years 9 months ago
The Fourier spectral method for the Cahn-Hilliard equation
In this paper, a Fourier spectral method for numerically solving Cahn-Hilliard equation with periodic boundary conditions is developed. We establish their semi-discrete and fully d...
Xingde Ye, Xiao-Liang Cheng
WSC
1998
14 years 11 months ago
Timed Petri Nets as a Verification Tool
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
Miryam Barad
ICASSP
2011
IEEE
14 years 1 months ago
Exploring implicit score normalization techniques in speaker verification
In this paper we first introduce four kinds of modification of Symmetric Scoring [1] which produce likelihood ratios that do not need to be explicitly normalized, i.e. T-norm, Z...
Ce Zhang, Rong Zheng, Bo Xu
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 1 months ago
A unified optimization framework for microelectronics industry
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...
Yiming Li, Cheng-Kai Chen, Yen-Yu Cho