4609 search results - page 205 / 922 » Automatic Generation of Sigma-Protocols |
145
click to vote
RT
1997
Springer
15 years 10 months ago
1997
Springer
: To model surface imperfections and weathering, we proposea two-step texture generation framework in between manual texture synthesis and automatic physical simulation. Although t...
178
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
197
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
While research on scientific chart recognition is being carried out, there is no suitable standard that can be used to evaluate the overall performance of the chart recognition res...
134
click to vote
ACL
2006
15 years 8 months ago
2006
Natural Language Generation (NLG) is a way to automatically realize a correct expression in response to a communicative goal. This technology is mainly explored in the fields of m...
176
click to vote
DKE
2010
15 years 6 months ago
2010
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Semantic Web ontologies can provide use...