1421 search results - page 197 / 285 » The First and Second Max-SAT Evaluations |
182
click to vote
ASE
2005
15 years 6 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
169
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Many machine learning algorithms require the summation of Gaussian kernel
functions, an expensive operation if implemented straightforwardly. Several methods
have been proposed t...
192
click to vote
ICML
1999
IEEE
16 years 7 months ago
1999
IEEE
Excerpted from: Boyan, Justin. Learning Evaluation Functions for Global Optimization. Ph.D. thesis, Carnegie Mellon University, August 1998. (Available as Technical Report CMU-CS-...
165
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
171
click to vote
ER
2007
Springer
16 years 13 days ago
2007
Springer
Frequently the behaviour of an information system is functionally correct, but it does not meet some quality criteria, such as completeness, consistency, and usability. One way to...