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