4609 search results - page 494 / 922 » Automatic Generation of Sigma-Protocols |
172
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
186
Voted
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Lixto is a system and method for the visual and interactive generation of wrappers for Web pages under the supervision of a human developer, for automatically extracting informatio...
172
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
160
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a system for the animation of human hand that plays violin. Neural network controls the hand movement. We make use of an optimization method to generate the examples fo...
163
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...