2333 search results - page 138 / 467 » Recursive Computational Depth |
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
ENTCS
2006
13 years 9 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
INFORMATICALT
2008
13 years 9 months ago
2008
The aim of the given paper is development of a recursive approach for calculating the statistics of decimated realizations of a basic discrete-time signal, obtained by sampling a c...
ACIVS
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present a recursive algorithm for the cleaning and the enhancing of historical documents. Most of the algorithms, used to clean and enhance documents or transform ...
CG
2006
Springer
13 years 9 months ago
2006
Springer
on games are a recent genre of abstract board games with some interesting geometrical properties. We introduce a recursive metarule with which existing connection games can be exp...