7121 search results - page 151 / 1425 » Functions as Session-Typed Processes |
168
Voted
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
MFCS
2010
Springer
14 years 8 months ago
2010
Springer
We consider Boolean exact threshold functions defined by linear equations, and in general degree d polynomials. We give upper and lower bounds on the maximum magnitude (absolute va...
102
click to vote
MICCAI
2006
Springer
15 years 11 months ago
2006
Springer
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registrat...
ICML
2003
IEEE
15 years 11 months ago
2003
IEEE
We investigate methods for planning in a Markov Decision Process where the cost function is chosen by an adversary after we fix our policy. As a running example, we consider a rob...
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we present a functional partitioning method for low power real-time distributed embedded systems whose constituent nodes are systems-on-a-chip (SOCs). The systemlev...