4341 search results - page 342 / 869 » Quantitative Model checking |
194
click to vote
PPSN
1994
Springer
15 years 10 months ago
1994
Springer
We discuss the use of normal distribution theory as a tool to model the convergence characteristics of di erent GA selection schemes. The models predict the proportion of optimal a...
171
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The conventional independent component regression (ICR), as an exclusive two-step implementation algorithm, has the risk similar to principal component regression (PCR). That is, t...
212
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
199
click to vote
HUMO
2000
Springer
15 years 10 months ago
2000
Springer
Seeing biological motion is very important for both humans and computers. Psychophysics experiments show that the ability of our visual system for biological motion detection and ...
134
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When the same set of people interact frequently with one another, they grow to think more and more along the same lines, a phenomenon we call "collective cognitive convergenc...