953 search results - page 43 / 191 » Efficient Evaluation of Large Polynomials |
ICWE
2010
Springer
13 years 5 months ago
2010
Springer
Large amounts of information are posted daily on the Web, such as articles published online by traditional news agencies or blog posts referring to and commenting on various events...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
Data availability, collection and storage have increased dramatically in recent years, raising new technological and algorithmic challenges for database design and data management...
CRYPTO
2010
Springer
13 years 9 months ago
2010
Springer
The search for encryption schemes that allow to evaluate functions (or circuits) over encrypted data has attracted a lot of attention since the seminal work on this subject by Rive...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Most successful object recognition systems rely on binary classification, deciding only if an object is present or not, but not providing information on the actual object location...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...