4987 search results - page 38 / 998 » Support Ordered Resolution |
SIAMCOMP
2002
14 years 9 months ago
2002
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
CAV
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
IP networks fundamentally rely on the Address Resolution Protocol (ARP) for proper operation. Unfortunately, vulnerabilities in the ARP protocol enable a raft of IP-based imperson...
104
click to vote
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
This paper describes a method for temporal super resolution from a single quasi-periodic image sequence. A so-called reconstructionbased method is applied to construct a one period...
BMCBI
2010
14 years 10 months ago
2010
Background: Drug-drug interactions are frequently reported in the increasing amount of biomedical literature. Information Extraction (IE) techniques have been devised as a useful ...