752 search results - page 129 / 151 » A Markov Chain Model Checker |
EMNLP
2007
13 years 10 months ago
2007
Many systems for tasks such as question answering, multi-document summarization, and information retrieval need robust numerical measures of lexical relatedness. Standard thesauru...
SODA
2008
ACM
13 years 10 months ago
2008
ACM
DNA self-assembly has emerged as a rich and promising primitive for nano-technology. Experimental and analytical evidence indicates that such systems are prone to errors, and acco...
WSC
1998
13 years 10 months ago
1998
The regenerative method of simulation output analysis exploits the regenerative structure of a stochastic process to break up a path into independent and identically distributed c...
ENTCS
2006
13 years 8 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
TCOM
2008
13 years 8 months ago
2008
The performance of multi-hop CSMA/CA networks has in most cases been evaluated via simulations, or analytically using a perfect collision channel model. Using such methods, one ca...