4609 search results - page 332 / 922 » Automatic Generation of Sigma-Protocols |
194
click to vote
CC
2003
Springer
15 years 12 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
180
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
An important component of any generation system is the mapping dictionary, a lexicon of elementary semantic expressions and corresponding natural language realizations. Typically,...
271
click to vote
DLIB
2002
15 years 6 months ago
2002
In this article we present a method for retrieving documents from a digital library through a visual interface based on automatically generated concepts. We used a vocabulary gene...
174
click to vote
TVCG
2008
15 years 6 months ago
2008
We introduce a novel technique to generate painterly art maps (PAMs) for 3D nonphotorealistic rendering. Our technique can automatically transfer brushstroke textures and color cha...
188
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...