4609 search results - page 373 / 922 » Automatic Generation of Sigma-Protocols |
185
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Evolutionary functional testing is an approach to automatically generating test cases that violate a certain functional system requirement. This paper proposes an approach suitabl...
190
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...
173
click to vote
LREC
2010
15 years 8 months ago
2010
This paper deals with the derivational morphology of automatic word form recognition. It presents a set of declarative rules which augment lexical entries with information governi...
192
click to vote
AAAI
2004
15 years 8 months ago
2004
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...
176
click to vote
CGF
2007
15 years 6 months ago
2007
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...