656 search results - page 21 / 132 » Symbolic computing of nonlinear observable and observer form... |
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
109
click to vote
AGI
2011
14 years 3 months ago
2011
A novel approach to computer vision is outlined, involving the use of imprecise probabilities to connect a deep learning based hierarchical vision system with both local feature de...
DCC
2006
IEEE
15 years 11 months ago
2006
IEEE
We consider the problem of compressibility of protein sequences. Based on an observed genome-scale long-range correlation in concatenated protein sequences from different organism...
85
Voted
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
Feature extraction is a process that extracts salient features from observed variables. It is considered a promising alternative to overcome the problems of weight and structure o...
SIAMJO
2008
14 years 11 months ago
2008
A class of trust-region methods is presented for solving unconstrained nonlinear and possibly nonconvex discretized optimization problems, like those arising in systems governed by...