2584 search results - page 180 / 517 » On the Forward Checking Algorithm |
ACL
1989
13 years 9 months ago
1989
the syntactically impossible antecedents. This latter This paper describes an implemented mechanism for handling bound anaphora, disjoint reference, and pronominal reference. The a...
JSCIC
2006
13 years 8 months ago
2006
This paper deals with the identification of a zone permitting fluid to leak out of a drain. Using the analogy with crack identification by boundary measurements, we give uniqueness...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
GLOBECOM
2007
IEEE
14 years 4 days ago
2007
IEEE
Traditional IP Multicast has been proposed in order to manage group communications over the Internet in a bandwidth efficient manner. Although this proposition has been well studie...
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...