4962 search results - page 429 / 993 » Stochastic Model Checking |
127
click to vote
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider wireless ad-hoc networks and implement failure detections mechanisms. These failure detectors provide elementary information for high level distributed algori...
143
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
We describe a hidden Markov modeling approach to multiple change-points that has attractive computational and statistical properties. This approach yields explicit recursive filter...
116
click to vote
TCBB
2008
15 years 3 months ago
2008
Under a stochastic model of molecular sequence evolution the probability of each possible pattern of characters is well defined. The Kimura's three-substitution-types (K3ST) m...
150
Voted
ICOIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the main problems of network security is Distributed Denial of Service (DDoS) caused by TCP SYN packet flooding. To counteract SYN flooding attack, several defense methods...
113
click to vote
NAACL
1994
15 years 5 months ago
1994
The processing of Japanese text is complicated by the fact that there are no word delimiters. To segment Japanese text, systems typically use knowledge-based methods and large lex...