Search Sciweavers | Sciweavers

5086 search results - page 2 / 1018

» The Power of Comparative Reasoning

click to vote

KRDB
2003

117views Database» more KRDB 2003»

On a Unifying Framework for Comparing Knowledge Representation Schemes

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Given the numerous knowledge representation models (KR-schemes) that have been proposed, it would be desirable to have a formal, unifying model for the description of a KR-scheme,...

Giorgos Flouris, Dimitris Plexousakis, Grigoris An...

claim paper

Read More »

click to vote

CSL
2003
Springer

144views Automated Reasoning» more CSL 2003»

Comparing the Succinctness of Monadic Query Languages over Finite Trees

13 years 10 months ago

Download www.informatik.uni-frankfurt.de

Abstract. We study the succinctness of monadic second-order logic and a variety of monadic ﬁxed point logics on trees. All these languages are known to have the same expressive p...

Martin Grohe, Nicole Schweikardt

claim paper

Read More »

click to vote

ACNS
2009
Springer

150views Cryptology» more ACNS 2009»

How to Compare Profiled Side-Channel Attacks?

13 years 9 months ago

Download www.dice.ucl.ac.be

Side-channel attacks are an important class of attacks against cryptographic devices and profiled side-channel attacks are the most powerful type of side-channel attacks. In this s...

François-Xavier Standaert, François ...

claim paper

Read More »

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

13 years 9 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »