Sciweavers

3670 search results - page 303 / 734
» Linear Recursive Functions
Sort
View
DAC
1989
ACM
15 years 10 months ago
An Efficient Finite Element Method for Submicron IC Capacitance Extraction
We present an accurate and efficient method for extraction of parasitic capacitances in submicron integrated circuits. The method uses a 3-D finite element model in which the cond...
N. P. van der Meijs, Arjan J. van Genderen
ESOP
2008
Springer
15 years 8 months ago
Cover Algorithms and Their Combination
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
Sumit Gulwani, Madan Musuvathi
NIPS
2004
15 years 8 months ago
A Cost-Shaping LP for Bellman Error Minimization with Performance Guarantees
We introduce a new algorithm based on linear programming that approximates the differential value function of an average-cost Markov decision process via a linear combination of p...
Daniela Pucci de Farias, Benjamin Van Roy
WSC
2001
15 years 8 months ago
A new approach to pricing American-style derivatives
This paper presents a new approach to pricing Americanstyle derivatives. By approximating the value function with a piecewise linear interpolation function, the option holder'...
Scott B. Laprise, Michael C. Fu, Steven I. Marcus,...
CSDA
2006
87views more  CSDA 2006»
15 years 6 months ago
Choice of B-splines with free parameters in the flexible discriminant analysis context
Flexible discriminant analysis (FDA) is a general methodology which aims at providing tools for multigroup non linear classification. It consists in a nonparametric version of dis...
Christelle Reynès, Robert Sabatier, Nicolas...