128 search results - page 6 / 26 » Tractable Cover Compilations |
63
Voted
IPL
2010
14 years 11 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
100
Voted
FPL
2007
Springer
15 years 6 months ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
96
Voted
AAAI
2000
15 years 1 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
83
Voted
BMCBI
2006
15 years 15 days ago
2006
Background: Autoimmune diseases are disorders caused by an immune response directed against the body's own organs, tissues and cells. In practice more than 80 clinically dist...
101
Voted
JELIA
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...