Sciweavers

4341 search results - page 28 / 869
» Quantitative Model checking
Sort
View
104
Voted
SIGSOFT
2005
ACM
15 years 7 months ago
Quantitative assessment of UML dynamic models
Aline Lúcia Baroni
121
Voted
GFKL
2007
Springer
129views Data Mining» more  GFKL 2007»
15 years 6 months ago
Structural Differentiae of Text Types - A Quantitative Model
Olga Pustylnikov, Alexander Mehler
85
Voted
ISMB
2007
15 years 4 months ago
Connecting quantitative regulatory-network models to the genome
Yue Pan, Tim Durfee, Joseph Bockhorst, Mark Craven
83
Voted
ECAI
2008
Springer
15 years 4 months ago
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. ...
71
Voted
BC
2008
60views more  BC 2008»
15 years 2 months ago
Special issue on quantitative neuron modeling
Renaud Jolivet, Arnd Roth, Felix Schürmann, W...