7397 search results - page 983 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
212
click to vote
APN
2008
Springer
15 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
237
click to vote
CGF
2010
15 years 7 months ago
2010
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
242
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
189
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
A common task in biological research is to predict function for proteins by comparing sequences between proteins of known and unknown function. This is often done using pair-wise ...
207
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
This article describes an application of the partially observable Markov (POM) model to the analysis of a large scale commercial web search log. Mathematically, POM is a variant o...