3690 search results - page 358 / 738 » Computation with classical sequents |
191
click to vote
VISUALIZATION
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper presents an environment for telecollaborative data exploration. It provides the following capabilities essential to data exploration: (1) Users can probe the data, de�...
230
click to vote
ICCL
1992
IEEE
15 years 11 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
184
click to vote
KI
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
165
click to vote
PQCRYPTO
2010
15 years 10 months ago
2010
The best known non-structural attacks against code-based cryptosystems are based on information-set decoding. Stern’s algorithm and its improvements are well optimized and the co...
200
click to vote
ANTS
2010
Springer
15 years 10 months ago
2010
Springer
Lattices over number elds arise from a variety of sources in algorithmic algebra and more recently cryptography. Similar to the classical case of Z-lattices, the choice of a nice,...