7121 search results - page 376 / 1425 » Modeling Signs Using Functional Data Analysis |
218
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
181
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
193
click to vote
ESANN
2006
15 years 8 months ago
2006
We consider two stochastic process methods for performing canonical correlation analysis (CCA). The first uses a Gaussian Process formulation of regression in which we use the cur...
189
click to vote
PLDI
2003
ACM
16 years 16 days ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
192
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...