6829 search results - page 34 / 1366 » Quantitative Generalizations of Languages |
136
click to vote
ENTCS
2006
15 years 5 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
138
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper describes a general purpose algorithm to segment any kind of lesions in CT images. The algorithm expects a click or a stroke inside the lesion from the user and learns ...
146
click to vote
ICAS
2009
IEEE
15 years 9 months ago
2009
IEEE
We propose a general model for resources allocation of virtual machines in multi-tier distributed environments. Our model describes each virtual machine and each physical host by ...
140
click to vote
ISCA
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper aims to provide a quantitative understanding of the performance of image and video processing applications on general-purpose processors, without and with media ISA ext...
153
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Both microarrays and quantitative real-time PCR are convenient tools for studying the transcriptional levels of genes. The former is preferable for large scale studies...