Search results for "hyper-linking"

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.	ICPADS	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.	CADE	1992	DBLP DOI BibTeX RDF
49	Heng Chu, David A. Plaisted	Semantically Guided First-Order Theorem Proving using Hyper-Linking.	CADE	1994	DBLP DOI BibTeX RDF
32	David F. Brailsford	Automated re-typesetting, indexing and contentenhancement for scanned marriage registers.	ACM Symposium on Document Engineering	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.	VISUAL	2002	DBLP DOI BibTeX RDF
29	Heng Chu, David A. Plaisted	Model Finding Strategies in Semantically Guided Instance-based Theorem Proving.	ISMIS	1993	DBLP DOI BibTeX RDF
20	Chih-Hung Wu, Shie-Jue Lee	Parallelization of a Hyper-Linking-Based Theorem Prover.	J. Autom. Reason.	2001	DBLP DOI BibTeX RDF
20	David A. Plaisted, Yunshan Zhu	Ordered Semantic Hyper-Linking.	J. Autom. Reason.	2000	DBLP DOI BibTeX RDF
20	Geoffrey D. Alexander	CLIN-E - Smallest Instance First Hyper-Linking.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
20	David A. Plaisted, Yunshan Zhu	Ordered Semantic Hyper Linking.	AAAI/IAAI	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.	Comput. Artif. Intell.	1995	DBLP BibTeX RDF
20	Shie-Jue Lee, David A. Plaisted	Eliminating Duplication with the Hyper-Linking Strategy.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
15	Pablo Castro, Anil Nori	Astoria: A Programming Model for Data on the Web.	ICDE	2008	DBLP DOI BibTeX RDF
15	Swaha Miller, David A. Plaisted	The Space Efficiency of OSHL.	TABLEAUX	2005	DBLP DOI BibTeX RDF
15	Naphtali Rishe, Maxim Chekmasov, Marina Chekmasova, Scott Graham, Ian De Felipe	On-demand geo-referenced terrafly data miner.	IUI	2003	DBLP DOI BibTeX RDF	internet data extraction, geographic information system, remotely sensed data