7397 search results - page 288 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
184
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
167
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
170
click to vote
AIME
2007
Springer
16 years 25 days ago
2007
Springer
We present a novel method for predictive modeling of human brain states from functional neuroimaging (fMRI) data. Extending the traditional canonical correlation analysis of discre...
173
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
Data grids provide geographically distributed storage and computing resources for large data-intensive applications. To support fast data access and processing, effective data man...
206
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Gaussian processes have successfully been used to learn preferences among entities as they provide nonparametric Bayesian approaches for model selection and probabilistic...