7167 search results - page 124 / 1434 » A Technique for Invariant Generation |
195
click to vote
ICTAI
2008
IEEE
16 years 22 days ago
2008
IEEE
Unlike simple questions, complex questions cannot be answered by simply extracting named entities. These questions require inferencing and synthesizing information from multiple d...
167
click to vote
IDEAL
2007
Springer
16 years 14 days ago
2007
Springer
Clustering is used to generate groupings of data from a large dataset, with the intention of representing the behavior of a system as accurately as possible. In this sense, cluster...
173
click to vote
ICIAR
2004
Springer
15 years 11 months ago
2004
Springer
Frequently, it is observed that the sequence of indexes generated by a vector quantizer (VQ) contains a high degree of correlation, and, therefore, can be further compressed using ...
143
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
171
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...