691 search results - page 89 / 139 » Equational Abstractions |
150
Voted
CORR
2011
Springer
14 years 12 months ago
2011
Springer
Abstract An extension of the Gauss-Newton algorithm is proposed to find local minimizers of penalized nonlinear least squares problems, under generalized Lipschitz assumptions. Co...
150
Voted
TSMC
2010
14 years 11 months ago
2010
Abstract--This paper presents a dynamic predictiveoptimization framework of a nonlinear temporal process. Datamining (DM) and evolutionary strategy algorithms are integrated in the...
193
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract—In diffusion-based molecular communications, messages can be conveyed via the variation in the concentration of molecules in the medium. In this paper, we intend to anal...
144
Voted
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
154
Voted
SIAMCO
2011
14 years 7 months ago
2011
Abstract. We prove a weak version of the dynamic programming principle for standard stochastic control problems and mixed control-stopping problems, which avoids the technical di...