1458 search results - page 86 / 292 » The sequentially realizable functionals |
104
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Two methods were evaluated for performing spectral breakpoint matching: a multi-level pruned exhaustive search and a genetic algorithm. The GA found matches about as good...
156
Voted
LICS
1992
IEEE
15 years 7 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
109
Voted
CSR
2006
Springer
15 years 7 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
CPHYSICS
2006
15 years 3 months ago
2006
Three dimensional truncated pyramidal quantum dots are simulated numerically to compute the energy states and the wave functions. The simulation of the heterostructures is realize...
129
Voted
SCN
2008
Springer
15 years 3 months ago
2008
Springer
In this work we study linear secret sharing schemes for s-t connectivity in directed graphs. In such schemes the parties are edges of a complete directed graph, and a set of partie...