1564 search results - page 52 / 313 » Extensions to the Estimation Calculus |
124
click to vote
VIP
2000
15 years 3 months ago
2000
Quantitative PET studies usually require invasive blood sampling from a peripheral artery to obtain an input function for accurate modelling. However, blood sampling is impractica...
125
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
111
click to vote
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
106
click to vote
ICIP
2005
IEEE
16 years 3 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...