2607 search results - page 185 / 522 » Complete Functional Synthesis |
119
click to vote
MSCS
2008
15 years 4 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
118
click to vote
ADCM
2004
15 years 3 months ago
2004
In 1977 Chung and Yao introduced a geometric characterization in multivariate interpolation in order to identify distributions of points such that the Lagrange functions are produc...
164
click to vote
TIFS
2010
14 years 10 months ago
2010
Abstract--We make a connection between steganography design by minimizing embedding distortion and statistical physics. The unique aspect of this work and one that distinguishes it...
142
click to vote
LORI
2009
Springer
15 years 10 months ago
2009
Springer
Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for the...
125
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...