6059 search results - page 215 / 1212 » A Technique for Verifying Measurements |
146
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a new technique based on anisotropic diffusion for segmenting color images. This operation is accomplished through two independent anisotropic diffusion proces...
186
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper reports a safe regression test selection (RTS) approach that is designed for verifying Web services in an end-to-end manner. The Safe RTS technique has been integrated ...
189
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
181
click to vote
AIIA
2007
Springer
16 years 24 days ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
159
click to vote
FSKD
2005
Springer
16 years 2 days ago
2005
Springer
Incremental checkpointing is an cost-efficient fault tolerant technique for long running programs such as genetic algorithms. In this paper, we derive the equations for the writing...