Sciweavers

2005 search results - page 231 / 401
» Decisive Markov Chains
Sort
View
ENTCS
2007
69views more  ENTCS 2007»
15 years 1 months ago
Modal Logic Characterization of Markovian Testing and Trace Equivalences
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...
Marco Bernardo, Stefania Botta
NAR
2008
73views more  NAR 2008»
15 years 1 months ago
LocalMove: computing on-lattice fits for biopolymers
Given an input Protein Data Bank file (PDB) for a protein or RNA molecule, LocalMove is a web server that determines an on-lattice representation for the input biomolecule. The we...
Yann Ponty, R. Istrate, E. Porcelli, Peter Clote
TCS
2008
15 years 1 months ago
The cost of offline binary search tree algorithms and the complexity of the request sequence
In evaluating the performance of online algorithms for search trees, one wants to compare them to the best offline algorithm available. In this paper we lower bound the cost of an...
Jussi Kujala, Tapio Elomaa
TR
2008
164views more  TR 2008»
15 years 1 months ago
Inference Based on Type-II Hybrid Censored Data From a Weibull Distribution
A hybrid censoring scheme is a mixture of Type-I and Type-II censoring schemes. This article presents the statistical inferences on Weibull parameters when the data are Type-II hyb...
Aveek Banerjee, Debasis Kundu
CN
2004
116views more  CN 2004»
15 years 1 months ago
Slotted Aloha as a game with partial information
This paper studies distributed choice of retransmission probabilities in slotted ALOHA. Both the cooperative team problem as well as the noncooperative game problem are considered...
Eitan Altman, Rachid El Azouzi, Tania Jimén...