1532 search results - page 171 / 307 » An Algebraic Process Calculus |
132
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
In low bit-rate coders, the near-sample and far-sample redundancies of the speech signal are usually removed by a cascade of a shortterm and a long-term linear predictor. These tw...
125
click to vote
MASCOTS
2004
15 years 6 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
149
click to vote
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
106
click to vote
ACSD
2008
IEEE
15 years 11 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
138
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
We propose an extension of the conformal (or geodesic) active contour framework in which the conformal factor depends not only on the position of the curve but also on the directi...