4609 search results - page 200 / 922 » Automatic Generation of Sigma-Protocols |
172
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
259
click to vote
IJIT
2004
15 years 7 months ago
2004
State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate t...
164
click to vote
ISTA
2003
15 years 7 months ago
2003
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...
154
click to vote
ANLP
1997
15 years 7 months ago
1997
In this paper, we describe a method for automatic creation of a knowledge source for text generation using information extraction over the Internet. We present a prototype system ...
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dynamic web applications such as mashups need efficient access to web data that is only accessible via entity search engines (e.g. product or publication search engines). However,...