532 search results - page 52 / 107 » Process Algebras for Quantitative Analysis |
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
Knowledge-mapping tools enable users to quickly identify relevant information and expertise. This paper discusses a number of natural-language phenomena that limit the performance...
BILDMED
2008
13 years 9 months ago
2008
A new method is presented to quantify malignant changes in histological sections of prostate tissue immunohistochemically stained for prostate-specific antigen (PSA) by means of im...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our wo...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
ENTCS
2010
13 years 7 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...