6704 search results - page 554 / 1341 » Testing Scenario-Based Models |
203
click to vote
ECAL
1999
Springer
15 years 11 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
187
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
254
click to vote
SPIEVIP
2010
15 years 9 months ago
2010
In video surveillance, automatic methods for scene understanding and activity modeling can exploit the high redundancy of object trajectories observed over a long period of time. ...
218
click to vote
NIPS
2000
15 years 8 months ago
2000
A goal of statistical language modeling is to learn the joint probability function of sequences of words in a language. This is intrinsically difficult because of the curse of dim...
192
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Developing and evaluating new technology that enables researchers to recover gene-expression levels of colonic cells from fecal samples could be key to a non-invasive ...