3228 search results - page 228 / 646 » Computationally Sound Proofs |
148
click to vote
APAL
2005
15 years 6 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
178
click to vote
MM
2005
ACM
16 years 5 days ago
2005
ACM
We are developing a new voice communication medium called voiscape. Voiscape enables natural and seamless bi-directional voice communication by using sound to create a virtual sou...
176
click to vote
EVOW
2005
Springer
16 years 4 days ago
2005
Springer
This paper reports on steps that have been taken to enhance previously presented evolutionary sound matching work. In doing so, the convergence characteristics are shown to provide...
152
click to vote
IWEC
2007
15 years 8 months ago
2007
Scratching with turntables is a popular sound generation technique in today’s music scene, especially in hip-hop culture. A conventional turntable system consists of two turntabl...
178
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...