656 search results - page 23 / 132 » Symbolic computing of nonlinear observable and observer form... |
ECCV
2008
Springer
13 years 9 months ago
2008
Springer
We propose a method for estimating radiometric response functions from observation of image noise variance, not profile of its distribution. The relationship between radiance inten...
BIRD
2007
Springer
14 years 1 months ago
2007
Springer
Experimental time courses often reveal a nonlinear behaviour. Analysing these nonlinearities is even more challenging when the observed phenomenon is cyclic or oscillatory. This me...
NIPS
2003
13 years 9 months ago
2003
Spectral methods for nonlinear dimensionality reduction (NLDR) impose a neighborhood graph on point data and compute eigenfunctions of a quadratic form generated from the graph. W...
ENTCS
2007
13 years 7 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...