256 search results - page 11 / 52 » codes 1997 |
68
Voted
POPL
1997
ACM
15 years 2 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
71
Voted
ICGA
2007
14 years 10 months ago
2007
We experimented a simple yet powerful optimization for Monte-Carlo Go tree search. It consists in dealing appropriately with strings that have two liberties. The heuristic is cont...
70
Voted
EUROPAR
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...
ICIP
1997
IEEE
15 years 11 months ago
1997
IEEE
Compressed images transmitted over noisy channels are extremely sensitive to bit errors. This necessitates the application of error control channel coding to the compressed repres...
ICIP
1997
IEEE
15 years 11 months ago
1997
IEEE
Oversampled pyramid decompositions have been successfully applied to scalable video coding. Quantization noise feedback at the encoder closed-loop coding" has several advant...