Sciweavers

2297 search results - page 169 / 460
» An Algorithm for Computing the Integral Closure
Sort
View
99
Voted
DAC
2005
ACM
15 years 4 months ago
On the need for statistical timing analysis
Traditional corner analysis fails to guarantee a target yield for a given performance metric. However, recently proposed solutions, in the form of statistical timing analysis, whi...
Farid N. Najm
123
Voted
CSDA
2006
94views more  CSDA 2006»
15 years 2 months ago
Simulation-based approach to estimation of latent variable models
We propose a simulation-based method for calculating maximum likelihood estimators in latent variable models. The proposed method integrates a recently developed sampling strategy...
Zhiguang Qian, Alexander Shapiro
127
Voted
JVCA
2008
112views more  JVCA 2008»
15 years 2 months ago
Constraint-based motion synthesis for deformable models
We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...
William Moss, Ming C. Lin, Dinesh Manocha
122
Voted
WINET
2002
146views more  WINET 2002»
15 years 2 months ago
Disconnection Modes for Mobile Databases
Abstract. As mobility permeates into todays computing and communication arena, we envision application infrastructures that will increasingly rely on mobile technologies. Tradition...
JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi
122
Voted
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 1 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske