Sciweavers

3166 search results - page 383 / 634
» Translation By Structural Correspondences
Sort
View
SIROCCO
2008
15 years 8 months ago
Sharpness: A Tight Condition for Scalability
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
Augustin Chaintreau
CLIMA
2004
15 years 8 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
DAGSTUHL
2006
15 years 8 months ago
Automatic Meaning Discovery Using Google
We have found a method to automatically extract the meaning of words and phrases from the world-wide-web using Google page counts. The approach is novel in its unrestricted proble...
Rudi Cilibrasi, Paul M. B. Vitányi
WSC
2004
15 years 8 months ago
Parallel Discrete Event Simulation of Space Shuttle Operations
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
José A. Sepúlveda, Luis C. Rabelo, M...
UAI
1997
15 years 8 months ago
Score and Information for Recursive Exponential Models with Incomplete Data
Recursive graphical models usually underlie the statistical modelling concerning probabilistic expert systems based on Bayesian networks. This paper de nes a version of these mode...
Bo Thiesson