4609 search results - page 195 / 922 » Automatic Generation of Sigma-Protocols |
189
click to vote
FPGA
2003
ACM
15 years 11 months ago
2003
ACM
One of the most difficult and time-consuming steps in the creation of an FPGA is its transistor-level design and physical layout. Modern commercial FPGAs typically consume anywher...
144
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
MaxMash is a tool that can compose select features of networked application and generate the source code for application mashups that can integrate those features. This paper pres...
169
click to vote
CRV
2007
IEEE
16 years 25 days ago
2007
IEEE
We describe a video indexing system that aims at indexing large video files in relation to the presence of similar faces. The detection of near-frontal view faces is done with a c...
142
click to vote
ICDCSW
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we describe how to automate the process of subscribing to complex publish-subscribe systems. We present a proof-of-concept prototype, in which we analyze Web browsi...
182
click to vote
VIP
2000
15 years 7 months ago
2000
The aim of this paper is to develop accurate and reliable methods for automated detection of the edges of the lung by a knowledge-based approach. First, the system initialises the...