7167 search results - page 250 / 1434 » A Technique for Invariant Generation |
176
click to vote
KES
2005
Springer
16 years 23 days ago
2005
Springer
This paper describes a theoretical approach on data mining, information classifying and a global overview of our OntoExtractor application, concerning the analysis of incoming data...
198
click to vote
CGO
2003
IEEE
16 years 17 days ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
192
click to vote
FM
2003
Springer
16 years 15 days ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
215
click to vote
ICDM
2002
IEEE
16 years 7 days ago
2002
IEEE
Previous works on automatic query clustering most generate a flat, un-nested partition of query terms. In this work, we are pursuing to organize query terms into a hierarchical s...
181
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Generation of ground-truths is of great importance for unbiased performance evaluation of document layout analysis methods. This is especially necessary because many methods are c...