2584 search results - page 21 / 517 » On the Forward Checking Algorithm |
TACAS
2005
Springer
14 years 1 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...
ASIAN
2000
Springer
14 years 5 days ago
2000
Springer
GLOBECOM
2010
IEEE
13 years 5 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...
ESA
2011
Springer
12 years 7 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...
CVPR
2007
IEEE
14 years 9 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...