4609 search results - page 19 / 922 » Automatic Generation of Sigma-Protocols |
163
Voted
ACL
2010
15 years 2 months ago
2010
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...
113
click to vote
ACL
2010
15 years 2 months ago
2010
In this paper we develop a story generator that leverages knowledge inherent in corpora without requiring extensive manual involvement. A key feature in our approach is the relian...
120
click to vote
PVLDB
2008
15 years 4 months ago
2008
This paper presents a framework for automatically generating structural XML documents. The user provides a target DTD and an example of an XML document, called a Generate-XML-ByEx...
159
click to vote
JOT
2010
15 years 3 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
118
click to vote
RAS
2010
15 years 3 months ago
2010
Much of the literature shows that Central Pattern Generators (CPGs) are a good approach for generating periodic motions for legged robots. In most of the presented works the numer...