3053 search results - page 174 / 611 » A Logic of Abstract Argumentation |
195
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
167
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
189
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
158
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
Abstract-- Increasing device densities allow chip manufacturers to integrate more functionality onto a single piece of silicon. FPGA manufacturers, such as Xilinx and Altera, use t...
176
click to vote
ICES
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to ...