16430 search results - page 533 / 3286 » On Computable Tree Functions |
193
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
140
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
One considers the problem of finding hard to round cases of a periodic function for large floating-point inputs, more precisely when the function cannot be efficiently approxim...
158
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
In region-based image segmentation, two models dominate the field: the Mumford-Shah functional and statistical approaches based on Bayesian inference. Whereas the latter allow for...
165
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
Due to the exponential growth of both design complexity and the number of gates per pin, functional debugging has emerged as a critical step in the development of a system-on-chip...
176
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
In previous work we showed, by Walsh analysis, that summary statistics such as mean, variance, skew, and higher order statistics can be computed in polynomial time for embedded la...