1104 search results - page 144 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
117
Voted
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
126
click to vote
ISBRA
2007
Springer
15 years 10 months ago
2007
Springer
Characterized by simultaneous measurement of the effects of experimental factors and their interactions, the economic and efficient factorial design is well accepted in microarray ...
124
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We present discrete stochastic mathematical models for the growth curves of synchronous and asynchronous evolutionary algorithms with populations structured according to a random ...
145
click to vote
ECCV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
143
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...