|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
112 | Chih-Hung Wu, Shie-Jue Lee |
On parallelism of hyper-linking theorem proving: a preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 494-499, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hyper-linking theorem proving, hyper-linking proof procedure, phase-level, clause-level, literal-level, search level parallelism, parallel strategies, parallel algorithms, parallelism, artificial intelligence, parallel architectures, theorem proving |
64 | Geoffrey D. Alexander, David A. Plaisted |
Proving Equality Theorems with Hyper-Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 706-710, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
49 | Heng Chu, David A. Plaisted |
Semantically Guided First-Order Theorem Proving using Hyper-Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 192-206, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | David F. Brailsford |
Automated re-typesetting, indexing and contentenhancement for scanned marriage registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2009 ACM Symposium on Document Engineering, Munich, Germany, September 16-18, 2009, pp. 29-38, 2009, ACM, 978-1-60558-575-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
GEDCOM, hyper-linking, re-typesetting, troff, indexing, OCR, genealogy |
29 | Daniel Gatica-Perez, Zhi Zhou 0010, Ming-Ting Sun, Vincent Hsu |
Video Object Hyper-Links for Streaming Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISUAL ![In: Recent Advances in Visual Information Systems, 5th International Conference, VISUAL 2002 Hsin Chu, Taiwan, March 11-13, 2002, Proceedings, pp. 229-238, 2002, Springer, 3-540-43358-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Heng Chu, David A. Plaisted |
Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 19-28, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Chih-Hung Wu, Shie-Jue Lee |
Parallelization of a Hyper-Linking-Based Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 26(1), pp. 67-106, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | David A. Plaisted, Yunshan Zhu |
Ordered Semantic Hyper-Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 25(3), pp. 167-217, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Geoffrey D. Alexander |
CLIN-E - Smallest Instance First Hyper-Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 18(2), pp. 177-182, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | David A. Plaisted, Yunshan Zhu |
Ordered Semantic Hyper Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, July 27-31, 1997, Providence, Rhode Island, USA., pp. 472-477, 1997, AAAI Press / The MIT Press, 0-262-51095-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Shie-Jue Lee, David A. Plaisted |
Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 14(6), pp. 563-578, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
20 | Shie-Jue Lee, David A. Plaisted |
Eliminating Duplication with the Hyper-Linking Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 9(1), pp. 25-42, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Castro, Anil Nori |
Astoria: A Programming Model for Data on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, CancĂșn, Mexico, pp. 1556-1559, 2008, IEEE Computer Society, 978-1-4244-1836-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Swaha Miller, David A. Plaisted |
The Space Efficiency of OSHL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 217-230, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Naphtali Rishe, Maxim Chekmasov, Marina Chekmasova, Scott Graham, Ian De Felipe |
On-demand geo-referenced terrafly data miner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 8th International Conference on Intelligent User Interfaces, IUI 2003, Miami, FL, USA, January 12-15, 2003, pp. 277-279, 2003, ACM, 1-58113-586-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
internet data extraction, geographic information system, remotely sensed data |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|