584 search results - page 40 / 117 » On Applying Set Covering Models to Test Set Compaction |
159
Voted
TABLEAUX
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
252
Voted
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
135
Voted
EMNLP
2010
15 years 1 months ago
2010
We present three novel methods of compactly storing very large n-gram language models. These methods use substantially less space than all known approaches and allow n-gram probab...
127
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a new approach to appearance-based object recognition, which captures the relationships between multiple model views and exploits them to improve recognition performanc...
130
Voted
NAACL
2004
15 years 5 months ago
2004
Previous work demonstrated that web counts can be used to approximate bigram frequencies, and thus should be useful for a wide variety of NLP tasks. So far, only two generation ta...