4609 search results - page 175 / 922 » Automatic Generation of Sigma-Protocols |
195
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes a Wrapper Generator for wrapping high performance legacy codes as Java/CORBA components for use in a distributed component-based problemsolving environment. U...
161
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes two approaches to the automatic generation of behavioral VHDL models from descriptions written in natural language. Both approaches are based on a modeling st...
159
click to vote
NAACL
2007
15 years 7 months ago
2007
This paper explores the use of statistical machine translation (SMT) methods for tactical natural language generation. We present results on using phrase-based SMT for learning to...
164
click to vote
ENTCS
2010
15 years 3 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
169
click to vote
IPM
2007
15 years 6 months ago
2007
We show some limitations of the ROUGE evaluation method for automatic summarization. We present a method for automatic summarization based on a Markov model of the source text. By...