Search Sciweavers | Sciweavers

4341 search results - page 28 / 869

» Quantitative Model checking

137

Voted

SIGSOFT
2005
ACM

84views Software Engineering» more SIGSOFT 2005»

Quantitative assessment of UML dynamic models

15 years 12 months ago

Download ctp.di.fct.unl.pt

Aline Lúcia Baroni

claim paper

Read More »

167

click to vote

GFKL
2007
Springer

129views Data Mining» more GFKL 2007»

Structural Differentiae of Text Types - A Quantitative Model

15 years 10 months ago

Download wwwhomes.uni-bielefeld.de

Olga Pustylnikov, Alexander Mehler

claim paper

Read More »

118

click to vote

ISMB
2007

127views Computational Biology» more ISMB 2007»

Connecting quantitative regulatory-network models to the genome

15 years 8 months ago

Download www.biostat.wisc.edu

Yue Pan, Tim Durfee, Joseph Bockhorst, Mark Craven

claim paper

Read More »

124

click to vote

ECAI
2008
Springer

93views Artificial Intelligence» more ECAI 2008»

A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects

15 years 8 months ago

Download www.dagstuhl.de

Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. ...

claim paper

Read More »

110

click to vote

BC
2008

60views more BC 2008»

Special issue on quantitative neuron modeling

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers