1818 search results - page 121 / 364 » Granularity-Adaptive Proof Presentation |
IJBC
2010
13 years 4 months ago
2010
In this paper, a discrete version of a reaction-diffusion equation, also known as coupled map lattice (CML), which corresponds to the Turing model of morphogenesis is studied. It i...
TOC
2010
13 years 4 months ago
2010
Abstract: We present a new method for proving lower bounds on quantum query algorithms. The new method is an extension of the adversary method, by analyzing the eigenspace structur...
CADE
2012
Springer
12 years 14 days ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
LICS
1991
IEEE
14 years 1 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...