626 search results - page 39 / 126 » When Can Formal Methods Make a Real Difference |
ECCV
1994
Springer
14 years 10 months ago
1994
Springer
Abstract. We propose a new approach to the correspondence problem that makes use of non-parametric local transforms as the basis for correlation. Non-parametric local transforms re...
MEMOCODE
2007
IEEE
14 years 3 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
—Many different types of modern wired and wireless communication links can be mathematically described as discretebert channels. In this extended abstract, we present an exact me...
NECO
2000
13 years 8 months ago
2000
We present a new method that we call Generalized Discriminant Analysis (GDA) to deal with nonlinear discriminant analysis using kernel function operator. The underlying theory is ...
FMCO
2008
Springer
13 years 10 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...