6941 search results - page 422 / 1389 » Testing as a Certification Approach |
146
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper extends our recent game-theoretic approach [1] to design and embed watermarks in Gaussian signals in the presence of an adversary. The detector solves a binary hypothes...
152
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A robust modelling method for detecting and measuring isotropic, linear features and bifurcations is described and applied to analysing 2d eletrophoresis and retinal images. Featu...
176
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
148
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
190
click to vote
SFM
2007
Springer
16 years 28 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...