2584 search results - page 21 / 517 » On the Forward Checking Algorithm |
138
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
117
Voted
ASIAN
2000
Springer
15 years 10 months ago
2000
Springer
159
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Delay tolerant networks (DTNs) are a kind of wireless mobile network which may lack continuous network connectivity. Multicast supports the distribution of data to a group of users...
237
click to vote
ESA
2011
Springer
14 years 5 months ago
2011
Springer
We study and characterize social-aware forwarding protocols in opportunistic networks and we derive bounds on the expected message delivery time for two different routing protocol...
146
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
It is well-known that forward motion induces a large number of local minima in the instantaneous least-squares reprojection error. This is caused in part by singularities in the e...