655 search results - page 48 / 131 » Testing Properties of Collections of Distributions |
ERSHOV
2003
Springer
15 years 3 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
FORTE
2007
14 years 11 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
AAAI
1997
14 years 11 months ago
1997
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...
JCP
2008
14 years 9 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
LREC
2008
14 years 11 months ago
2008
The goal of the DARPA MADCAT (Multilingual Automatic Document Classification Analysis and Translation) Program is to automatically convert foreign language text images into Englis...