4609 search results - page 350 / 922 » Automatic Generation of Sigma-Protocols |
175
click to vote
TCAD
1998
15 years 6 months ago
1998
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
194
click to vote
SIAMJO
2002
15 years 6 months ago
2002
Motivated by some results for linear programs and complementarity problems, this paper gives some new characterizations of the central path conditions for semidefinite programs. Ex...
162
click to vote
TKDE
1998
15 years 6 months ago
1998
With the increasing number of geographical image databases on the Internet, it is a very important issue to know about the most relevant image databases for given user queries, in...
149
click to vote
SPEECH
2002
15 years 6 months ago
2002
An algorithm is proposed which automatically estimates the local signalto-noise ratio (SNR) between speech and noise. The feature extraction stage of the algorithm is motivated by...
184
click to vote
TCS
2002
15 years 6 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...