The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for memoing with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1998 (16) 2002-2014 (7)
Publication types (Num. hits)
article(9) inproceedings(13) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 14 keywords

Results
Found 23 publication records. Showing 23 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
110Ralph Becket, Zoltan Somogyi DCGs + Memoing = Packrat Parsing but Is It Worth It? Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury
55Daniel Citron, Dror G. Feitelson, Larry Rudolph Accelerating Multi-Media Processing by Implementing Memoing in Multiplication and Division Units. Search on Bibsonomy ASPLOS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Konstantinos Sagonas, Terrance Swift An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SLG, memoing, stratification theories, prolog, tabling, WAM
32Elke Beck, Christiane Moser, Manfred Tscheligi Memoing and lenses: two approaches for exploring player-generated game ideas in videos. Search on Bibsonomy Advances in Computer Entertainment The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Tun-Hao You, Yi-Jui Wu, Cheng-Liang Lin, Yaliang Chuang Enhancing People's Television Experience by Capturing, Memoing, Sharing, and Mixing. Search on Bibsonomy HCI (20) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
32Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Parallel Backtracking with Answer Memoing for Independent And-Parallelism Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
32Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Parallel backtracking with answer memoing for independent and-parallelism. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
32Paul Tarau, Koenraad De Bosschere, Bart Demoen On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32Suzanne W. Dietrich, Changguan Fan On the Completeness of Naive Memoing in Prolog. Search on Bibsonomy New Gener. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32David Toman 0001 Memoing Evaluation for Constraint Extensions of Datalog. Search on Bibsonomy Constraints An Int. J. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32Jens E. Wunderwald A Portable Implementation of Memoing Evaluation Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
32Jens E. Wunderwald Memoing Evaluation by Source-to-Source Transformation. Search on Bibsonomy LOPSTR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
32Paul Tarau, Koenraad De Bosschere Memoing with Abstract Answers and Delphi Lemmas. Search on Bibsonomy LOPSTR The full citation details ... 1993 DBLP  BibTeX  RDF
32David Scott Warren Memoing for Logic Programs. Search on Bibsonomy Commun. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
32Alberto Pettorossi Methodologies for transformations and memoing in applicative languages. Search on Bibsonomy 1984   RDF
23Kaushal R. Gandhi, Nihar R. Mahapatra A Study of Hardware Techniques That Dynamically Exploit Frequent Operands to Reduce Power Consumption in Integer Function Units. Search on Bibsonomy ICCD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Achieving Scalability in Parallel Tabled Logic Programs. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Tabling, Parallel Logic Programming
23Kenneth A. Ross, Divesh Srivastava, S. Sudarshan 0001 Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time. Search on Bibsonomy SIGMOD Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Weidong Chen Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF alternating fixpoint, deductive databases, query evaluations, negation, predicate logic, SLG resolution
23Kenneth A. Ross Modular Stratification and Magic Sets for Datalog Programs with Negation. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF modular stratification, rule rewriting, well-sounded semantics, Datalog, deductive databases, stratification, magic sets
23Konstantinos Sagonas, Terrance Swift, David Scott Warren XSB as an Efficient Deductive Database Engine. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Prolog
23Knut Hinkelmann, Helge Hintze Computing Cost Estimates for Proof Strategies. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
23Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy Abstract Machine for LDL. Search on Bibsonomy EDBT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #23 of 23 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license