4609 search results - page 778 / 922 » Automatic Generation of Sigma-Protocols |
152
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
163
click to vote
AUSDM
2007
Springer
15 years 10 months ago
2007
Springer
Linking or matching databases is becoming increasingly important in many data mining projects, as linked data can contain information that is not available otherwise, or that woul...
151
click to vote
CASES
2009
ACM
15 years 10 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
179
Voted
CGO
2009
IEEE
15 years 10 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...
173
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Model updating is a critical problem in tracking. Inaccurate extraction of the foreground and background information in model adaptation would cause the model to drift and degrade ...