|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | |
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998 |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Juliana Freire, Terrance Swift, David Scott Warren |
Scheduling in SLG Revisited. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Víctor J. Díaz, Vicente Carrillo, Miguel Toro |
Elementary Tree Representation. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Gerda Janssens, Konstantinos Sagonas |
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Kazuhiko Ozeki |
A Tabular Method of Finding the Optimal Word String together with its Dependency Structure. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Mark Hepple |
Linear Categorial Deduction via First-order Compilation. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Kôiti Hasida, Takashi Miyata |
Parsing and Generation with Tabulation and Compilation. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | John Carroll 0001, Nicolas Nicolov, Olga Shaumyan, Martine Smets, David J. Weir |
Grammar Compaction and Computation Sharing in Automata-based Parsing. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Hans Leiß |
Bounded Fixed-Point Definability and Tabular Recognition of Languages. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Hadar Shemtov |
A Method for Preserving Ambiguities in Chart Generation. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | A. G. Manousopoulou, George K. Papakonstantinou, Panayotis Tsanakas |
A Chart-like Parser for Context Sensitive Grammars. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Abhik Roychoudhury, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka |
Tabulation-based Induction Proofs with Application to Automated Verification. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Manuel Vilares Ferro, Miguel A. Alonso 0001, Jorge Graña Gil, David Cabrero Souto |
GALENA: Tabular DCG Parsing for Natural Languages. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Vítor Rocio, José Gabriel Lopes |
Partial Parsing, Deduction and Tabling. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Jean-Cédric Chappelier, Martin Rajman |
A Generalized CYK Algorithm for Parsing Stochastic CFG. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Carlos Viegas Damásio, Luís Moniz Pereira |
A General Tabulation Procedure for Extended Constraint Logic Programs. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | Mark-Jan Nederhof |
Linear Indexed Automata and Tabulation of TAG Parsing. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
1 | José Júlio Alferes, Luís Moniz Pereira |
Tabling Abduction. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|