363 search results - page 57 / 73 » About paths with two blocks |
117
Voted
ICCAD
2010
IEEE
14 years 12 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
92
Voted
KDD
2004
ACM
16 years 2 months ago
2004
ACM
We present an unusual algorithm involving classification trees-CARTwheels--where two trees are grown in opposite directions so that they are joined at their leaves. This approach ...
106
click to vote
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
Internet measurements have shown that network failures happen frequently, and that existing routing protocols can take multiple seconds, or even minutes, to converge after a failu...
108
click to vote
ARTMED
2006
15 years 1 months ago
2006
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions, and periodic repetiti...
123
Voted
SAB
2010
Springer
15 years 8 days ago
2010
Springer
We introduce a new bee-inspired routing protocol for mobile ad hoc networks. Emphasis is given to the ability of bees to evaluate paths by considering several quality factors. In o...