2584 search results - page 291 / 517 » On the Forward Checking Algorithm |
178
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
— Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation, or message-passing, algorithm over the factor graph of the code. The tradi...
175
click to vote
ICDCS
2007
IEEE
16 years 28 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
172
click to vote
CIKM
2007
Springer
16 years 23 days ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
175
click to vote
IEEECIT
2006
IEEE
16 years 19 days ago
2006
IEEE
Coverage configuration is an important issue in large scale wireless sensor networks (WSNs). Existing coverage configuration methods are generally based on the concept of physical...
200
click to vote
QEST
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...