3495 search results - page 113 / 699 » On the random satisfiable process |
133
Voted
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...
100
Voted
CSCWD
2009
Springer
15 years 7 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
99
Voted
ECIR
2007
Springer
15 years 2 months ago
2007
Springer
Document fields, such as the title or the headings of a document, offer a way to consider the structure of documents for retrieval. Most of the proposed approaches in the literatu...
106
Voted
FPL
2003
Springer
15 years 6 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
95
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Randomly expanding trees are very effective in exploring high-dimensional spaces. Consequently, they are a powerful algorithmic approach to sampling-based single-query motion p...