7121 search results - page 70 / 1425 » Functions as Session-Typed Processes |
JMLR
2011
13 years 5 months ago
2011
A logistic stick-breaking process (LSBP) is proposed for non-parametric clustering of general spatially- or temporally-dependent data, imposing the belief that proximate data are ...
CCS
2003
ACM
14 years 3 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
ICSM
1998
IEEE
14 years 2 months ago
1998
IEEE
1 The empirical study described in this paper focuses on the effectiveness of maintenance processes in an environment in which a repository of potential sources of reuse exists, e....
NIPS
2008
13 years 11 months ago
2008
The inverse dynamics problem for a robotic manipulator is to compute the torques needed at the joints to drive it along a given trajectory; it is beneficial to be able to learn th...
CIE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...