713 search results - page 83 / 143 » A new iterative method for solving nonlinear equations |
EOR
2008
13 years 7 months ago
2008
We study the problem of asset and liability management of participating insurance policies with guarantees. We develop a scenario optimization model for integrative asset and liab...
SIGGRAPH
2010
ACM
14 years 19 days ago
2010
ACM
We introduce a new method for simulating frictional contact between volumetric objects using interpenetration volume constraints. When applied to complex geometries, our formulati...
HYBRID
2000
Springer
14 years 9 days ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
ISNN
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a learning framework for blind source separation (BSS), in which the BSS is formulated as generalized Eigenvalue (GE) problem. Compared to the typical informati...
RC
1998
13 years 8 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...