10715 search results - page 50 / 2143 » From Tests to Proofs |
100
click to vote
ISBI
2009
IEEE
15 years 6 months ago
2009
IEEE
Iterative reconstruction algorithms augmented with regularization can produce high-quality reconstructions from few views and even in the presence of significant noise. In this pa...
62
Voted
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
CADE
2001
Springer
16 years 5 days ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
AAECC
2002
Springer
14 years 11 months ago
2002
Springer
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
LOGCOM
2000
14 years 11 months ago
2000
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria act rewriting, such as the strong confluence lemma. We give a ...