2225 search results - page 212 / 445 » Logical Structures in the Lexicon |
193
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
178
click to vote
CIMCA
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper describes the system “Fibered Guard”, which is a hybrid intelligent web access management approach for the prevention of Denial of Service (DoS) and Distributed Deni...
117
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
This paper proposes an innovative algorithm to find the two’s complement of a binary number. The proposed method works in logarithmic time (O(logN)) instead of the worst case li...
177
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
180
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...