11739 search results - page 253 / 2348 » Slideshow: functional presentations |
192
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriļ¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiļ¬...
137
click to vote
ICANNGA
2007
Springer
15 years 11 months ago
2007
Springer
A new method of genetic evolution of linear and nonlinear evaluation functions in the game of checkers is presented. Several practical issues concerning application of genetic algo...
170
Voted
CIMAGING
2010
15 years 5 months ago
2010
We present the implementation and evaluation of a penalized alternating minimization (AM) method1 for the computation of a specimen's complex transmittance function (magnitud...
138
Voted
COMBINATORICS
2002
15 years 5 months ago
2002
We present a new expression for the partition function of the dimer arrangements and the Ising partition function of the 3-dimensional cubic lattice. We use the Pfaffian method. T...
146
click to vote
IWPC
2008
IEEE
16 years 16 hour ago
2008
IEEE
To support understanding a speciļ¬c GUI functionality in a program, we propose a visualization technique that presents the correspondence between the screens before and after the...