2584 search results - page 51 / 517 » On the Forward Checking Algorithm |
TACAS
2001
Springer
14 years 10 days ago
2001
Springer
TACAS
1999
Springer
14 years 4 days ago
1999
Springer
TACAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we propose a new scheduling algorithm for the overlapped message passing decoding, which can be applied to general low-density parity check (LDPC) codes. The partia...
XSYM
2005
Springer
14 years 1 months ago
2005
Springer
Recently, the issue of functional dependencies in XML (XFDs) have been investigated. In this paper we consider the problem of checking the satisfaction of an XFD in an XML document...