Sciweavers

4341 search results - page 29 / 869
» Quantitative Model checking
Sort
View
BC
2008
50views more  BC 2008»
13 years 9 months ago
The quantitative single-neuron modeling competition
Renaud Jolivet, Felix Schürmann, Thomas K. Be...
ACJ
2006
105views more  ACJ 2006»
13 years 9 months ago
Return On Security Investment (ROSI) - A Practical Quantitative Modell
Wes Sonnenreich, Jason Albanese, Bruce Stout
ENTCS
2006
100views more  ENTCS 2006»
13 years 8 months ago
Quantitative Analysis With the Probabilistic Model Checker PRISM
Marta Z. Kwiatkowska, Gethin Norman, David Parker
JASIS
2007
36views more  JASIS 2007»
13 years 8 months ago
A model for quantitative evaluation of an end-to-end question-answering system
Nina Wacholder, Diane Kelly, Paul B. Kantor, Rober...