12774 search results - page 136 / 2555 » A Framework for Proof Systems |
136
click to vote
IJCAI
2007
15 years 5 months ago
2007
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...
SCIENTOMETRICS
2010
15 years 2 months ago
2010
The characteristic scores and scales (CSS), introduced by Glänzel and Schubert [Journal of Information Science 14, 123-127, 1988] and further studied in subsequent papers of Glä...
140
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
In this report, we will provide the detailed theoretical analysis including some omitted proofs in our latest submission to Infocom 2008. For more details about the framework prot...
146
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
136
Voted
ITP
2010
15 years 8 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...