6829 search results - page 34 / 1366 » Quantitative Generalizations of Languages |
ENTCS
2006
15 years 22 days 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...
ISBI
2008
IEEE
16 years 1 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 ...
95
Voted
ICAS
2009
IEEE
15 years 4 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 ...
94
Voted
ISCA
1999
IEEE
15 years 5 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...
112
Voted
BMCBI
2008
15 years 26 days 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...