4609 search results - page 845 / 922 » Automatic Generation of Sigma-Protocols |
166
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
A query optimizer compares alternative plans in its search space to find the best plan for a given query. Depending on the search space and the enumeration algorithm, optimizers v...
181
click to vote
ICIAP
2007
ACM
16 years 5 months ago
2007
ACM
Natural scene categorization of images represents a very useful task for automatic image analysis systems in a wide variety of applications. In the literature, several methods hav...
162
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
— Web service models are increasingly being used in the Grid community as way to create distributed applications exposing data and/or applications through self describing interfa...
170
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
141
click to vote
ASPLOS
2010
ACM
16 years 18 days ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...