782 search results - page 80 / 157 » Similarity-Based Data reduction Techniques |
198
click to vote
CSFW
2002
IEEE
15 years 10 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
199
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Generally speaking, different classifiers tend to work well for certain types of data and conversely, it is usually not known a priori which algorithm will be optimal ...
157
click to vote
DKE
1998
15 years 5 months ago
1998
Disk I/O is a major bottleneck for query processing in database applications. This bottleneck is especially a problem for temporal databases because of their large size. Reduction...
154
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
158
click to vote
ACL
2008
15 years 7 months ago
2008
Discriminative feature-based methods are widely used in natural language processing, but sentence parsing is still dominated by generative methods. While prior feature-based dynam...