6020 search results - page 148 / 1204 » A New Approach to Model Counting |
167
Voted
ICCS
2009
Springer
15 years 1 months ago
2009
Springer
Protein loop structure modeling is regarded as a mini protein folding problem with significant scientific importance. Efficiently sampling the loop conformation space is a key step...
213
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
265
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Today's Content-Based Image Retrieval (CBIR) techniques are based on the "k-nearest neighbors" (kNN) model. They retrieve images from a single neighborhood using lo...
115
click to vote
DMIN
2007
15 years 5 months ago
2007
Abstract — New privacy regulations together with everincreasing data availability and computational power have created a huge interest in data privacy research. One major researc...
131
click to vote
WSC
2000
15 years 5 months ago
2000
The purpose of this paper is to introduce a new approach to teaching an introductory simulation course using an interactive CD-ROM titled "Simply Simulation". This metho...