8094 search results - page 216 / 1619 » Improvements in Formula Generalization |
CADE
2007
Springer
14 years 5 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
SIGIR
2005
ACM
14 years 4 months ago
2005
ACM
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
SIGMOD
2010
ACM
14 years 3 months ago
2010
ACM
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
SIGGRAPH
1994
ACM
14 years 2 months ago
1994
ACM
We describe a data visualization system based on spreadsheets. Cells in our spreadsheet contain graphical objects such as images, volumes, or movies. Cells may also contain widget...
COCO
2010
Springer
14 years 2 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...