4609 search results - page 15 / 922 » Automatic Generation of Sigma-Protocols |
127
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Guitar audio transcription is the process of generating a human-interpretable musical score from guitar audio. The musical score is presented as guitar tablature, which indicates ...
132
Voted
ENTCS
2002
15 years 4 months ago
2002
An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an...
158
Voted
KAIS
2000
15 years 4 months ago
2000
To use graphics efficiently in an automatic report generation system, one has to model messages and how they go from the writer (intention) to the reader (interpretation). This pap...
182
Voted
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
150
click to vote
ACL
2012
13 years 7 months ago
2012
SMT has been used in paraphrase generation by translating a source sentence into another (pivot) language and then back into the source. The resulting sentences can be used as can...