4609 search results - page 847 / 922 » Automatic Generation of Sigma-Protocols |
168
click to vote
IPPS
2009
IEEE
16 years 12 days ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
174
click to vote
SMA
2009
ACM
16 years 8 days ago
2009
ACM
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...
224
click to vote
CLADE
2008
IEEE
16 years 7 days ago
2008
IEEE
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
177
click to vote
EIT
2008
IEEE
16 years 6 days ago
2008
IEEE
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....
169
click to vote
KBSE
2007
IEEE
16 years 1 days ago
2007
IEEE
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...