532 search results - page 52 / 107 » Process Algebras for Quantitative Analysis |
61
Voted
KCAP
2005
ACM
15 years 4 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
15 years 12 days 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
15 years 5 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...
79
Voted
CSFW
2003
IEEE
15 years 4 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
14 years 11 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...