8828 search results - page 1544 / 1766 » Formal methods in practice |
151
click to vote
IJSNET
2006
15 years 4 months ago
2006
: To extend the functional lifetime of battery-operated Wireless Sensor Networks (WSNs), stringent sleep scheduling strategies with communication duty cycles running at sub-1% rang...
171
click to vote
JCST
2008
15 years 4 months ago
2008
Routing is a fundamental problem in wireless sensor networks. Most previous routing protocols are challenged when used in large dynamic networks as they suffer from either poor sca...
145
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract—Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of non-treelike evolutionary events, like recombination, hybridization...
133
click to vote
ITSSA
2006
15 years 4 months ago
2006
: The problem of patient scheduling in hospitals is characterized by high uncertainty and dynamics in patient treatments. Additional complexity in the planning and coordination pro...
149
click to vote
JAIR
2006
15 years 4 months ago
2006
The Partially Observable Markov Decision Process has long been recognized as a rich framework for real-world planning and control problems, especially in robotics. However exact s...