4609 search results - page 34 / 922 » Automatic Generation of Sigma-Protocols |
132
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
134
click to vote
CICLING
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper outlines a strategy to build new bilingual dictionaries from existing resources. The method is based on two main tasks: first, a new set of bilingual correspo...
133
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Large scale digitization projects have been conducted at the Internet Archive digital library to preserve cultural artifacts and to provide permanent access. The increasing amount...
178
click to vote
ICCL
1992
IEEE
15 years 8 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 ...
118
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we describe a method of automatically generating summary slides from a text. The slides are generated by itemizing topic/non-topic parts that are extracted...