3299 search results - page 61 / 660 » A general mathematics of names |
146
click to vote
CCE
2006
15 years 6 months ago
2006
This paper studies the parameter estimation of a general multi-input, multi-output multi-rate system in the frequency-domain. Two methods, named dividing to subsystems and input e...
161
click to vote
ESOP
2011
Springer
14 years 9 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...
182
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
179
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Recent research provided several new and fast approaches for the class of parameter estimation problems that are common in computer vision. Incorporation of complex noise model (mo...
202
click to vote
EUROMICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...