7121 search results - page 70 / 1425 » Functions as Session-Typed Processes |
125
Voted
JMLR
2011
14 years 9 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 ...
107
click to vote
CCS
2003
ACM
15 years 7 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
15 years 6 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....
118
Voted
NIPS
2008
15 years 3 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...
125
Voted
CIE
2010
Springer
15 years 22 days 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...