1806 search results - page 204 / 362 » Randomness and halting probabilities |
128
Voted
ESA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Social networks are navigable small worlds, in which two arbitrary people are likely connected by a short path of intermediate friends that can be found by a "decent...
137
Voted
EUC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Energy and delay are critical issues for wireless sensor networks since most sensors are equipped with non-rechargeable batteries that have limited lifetime. Due to the u...
134
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
130
Voted
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
This paper addresses the problem of engineering energy-efficient target detection applications using unattended Wireless Sensor Networks (WSNs) for long-lasting surveillance of are...
141
Voted
BIOCOMP
2007
15 years 5 months ago
2007
Low-Complexity Regions (LCRs) of biological sequences are the main source of false positives in similarity searches for biological sequence databases. We consider the problem of ï...