403 search results - page 34 / 81 » A testing scenario for probabilistic processes |
ENTCS
2006
14 years 9 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
100
click to vote
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
In medical applications, sensitivity in detecting medical problems and accuracy of detection are often in conflict. A single classifier usually cannot achieve both high sensitivit...
ICIP
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe a new method to find and cluster recurrent keyplaces in a movie. It consists of an unsupervised classification of shots that are taking place in the same physical loca...
SP
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...