|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki |
Comparing Approaches to Mathematical Document Analysis from PDF.  |
ICDAR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Richard Swinbank |
Symmetric M-tree |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Josef B. Baker, Alan P. Sexton, Volker Sorge |
Faithful mathematical formula recognition from PDF documents. |
Document Analysis Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Symbolic Domain Decomposition. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (eds.) |
Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton (eds.) |
Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings |
BNCOD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef B. Baker, Alan P. Sexton, Volker Sorge |
A Linear Grammar Approach to Mathematical Formula Recognition from PDF. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Computing with abstract matrix structures. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
abstract matrix arithmetic, symbolic computation |
| 1 | Alan P. Sexton, Hayo Thielecke |
Reasoning about B+ Trees with Operational Semantics and Separation Logic. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Richard Swinbank |
Virtual Forced Splitting, Demotion and the BV-Tree. |
BNCOD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Abstract Matrix Arithmetic. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge |
Towards a Parser for Mathematical Formula Recognition. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki |
Capturing Abstract Matrices from Paper. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge |
Abstract matrices in symbolic computation. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
underspecified matrices, constraints, semantic analysis |
| 1 | Alan P. Sexton, Volker Sorge |
Semantic Analysis of Matrix Structures. |
ICDAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge |
Processing Textbook-Style Matrices. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge |
A Database of Glyphs for OCR of Mathematical Documents. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Volker Sorge |
Database-Driven Mathematical Character Recognition. |
GREC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton, Richard Swinbank |
Bulk Loading the M-Tree to Enhance Query Performance. |
BNCOD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan P. Sexton |
Querying Indexed Files. |
CDB |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Bressan, Alan P. Sexton, Mark Wallace |
Implementing Index Data Structures Using Constraint Logic Programming. |
CDB |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Benker, Michel Dorochevsky, Jacques Noyé, Alan P. Sexton |
A Knowledge Crunching System. |
ARCS |
1990 |
DBLP BibTeX RDF |
|
| 1 | K.-F. Wong, U. C. Baron, Hans Benker, Sylvie Bescos, A. B. Cheese, François J. N. Cosquer, Sergio A. Delgado-Rannauro, Michel Dorochevsky, P. Heuze, M. Ibanez-Espiga, Jacques Noyé, Maurizio Paci, M. J. Ratcliffe, M. J. Reeve, Kees Schuerman, Alan P. Sexton, André Véron, Jiyang Xu |
The European Declarative System (EDS) as a platform for parallel logic programming. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Benker, Jean-Michel Beacco, Sylvie Bescos, Michel Dorochevsky, Thomas Jeffré, Anita Pohlmann, Jacques Noyé, Bruno Poterie, Alan P. Sexton, Jean-Claude Syre, Oliver Thibault, Günter Watzlawik |
KCM: A Knowledge Crunching Machine. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")