9425 search results - page 57 / 1885 » Some Notes on Models and Modelling |
COGSCI
2008
14 years 10 months ago
2008
This study presents a probabilistic model of melody perception, which infers the key of a melody and also judges the probability of the melody itself. (A "melody" is def...
ICSE
1994
IEEE-ACM
15 years 1 months ago
1994
IEEE-ACM
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
BMCBI
2010
14 years 4 months ago
2010
Background: A key stage for all microarray analyses is the extraction of feature-intensities from an image. If this step goes wrong, then subsequent preprocessing and processing s...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
We present a model of fracture formation on surfaces of bilayered materials. The model makes it possible to synthesize patterns of fractures induced by growth or shrinkage of one ...