191 search results - page 4 / 39 » The basic feasible functionals in computable analysis |
MCS
2008
Springer
13 years 7 months ago
2008
Springer
In the stability study of nonlinear systems, not to found feasible solution for the LMI problem associated with a quadratic Lyapunov function shows that it doesn't exist posi...
DAC
1998
ACM
13 years 11 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
ISICT
2003
13 years 8 months ago
2003
Historically, a typical avionics system architecture has been designed as a federated architecture of black-boxes with well-defined functions and implemented on fully dedicated co...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
The technique of independent component analysis (ICA) is applied for texture feature detection. In ICA an optimal transformation (with respect to the statistical structure of the i...