280 search results - page 14 / 56 » Testing for two components in a switching regression model |
106
click to vote
SAFECOMP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
105
click to vote
SMA
2010
ACM
14 years 12 months ago
2010
ACM
We present an algorithm which robustly computes the intersection curve(s) of an under-constrained piecewise polynomial system consisting of n equations with n + 1 unknowns. The so...
101
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
140
click to vote
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
Several attempts have been lately proposed to tackle the
problem of recovering the original image of an underwater
scene using a sequence distorted by water waves. The
main draw...
103
click to vote
CIVR
2004
Springer
15 years 5 months ago
2004
Springer
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...