1228 search results - page 34 / 246 » Continuations, proofs and tests |
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
The ability to predict antigenic sites on proteins is crucial for the production of synthetic peptide vaccines and synthetic peptide probes of antibody structure. Large number of ...
PAKDD
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents a new prediction model for predicting when an online customer leaves a current page and which next Web page the customer will visit. The model can forecast the ...
WISES
2003
13 years 9 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...
ENTCS
2006
13 years 8 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...
COR
2008
13 years 8 months ago
2008
Evolutionary Testing is a promising approach for automating the testing of software-based systems. A number of papers have been published in the last years which have successfully...