2584 search results - page 351 / 517 » On the Forward Checking Algorithm |
LISP
2008
14 years 10 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
113
click to vote
JMM2
2006
14 years 10 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
MONET
2006
14 years 10 months ago
2006
Enabled by regulatory initiatives and advanced radio technology, more flexible opportunistic spectrum access has great potential to alleviate the spectrum scarcity. In this paper,...
TCOM
2008
14 years 10 months ago
2008
Importance sampling is used in this paper to address the classical yet important problem of performance estimation of block codes. Simulation distributions that comprise discretean...
TIT
2008
14 years 10 months ago
2008
Abstract--Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation algorithm over the factor graph of the code. In the traditional messa...