|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1424 occurrences of 808 keywords
|
|
|
Results
Found 2517 publication records. Showing 2517 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | J. Ángel Velázquez-Iturbide, María Eugenia Castellanos, Raquel Hijón-Neira |
Recursion Removal as an Instructional Method to Enhance the Understanding of Recursion Tracing. |
IEEE Trans. Educ. |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Siddharth Bhaskar |
Recursion versus Tail Recursion over Abstract Structures. |
|
2015 |
RDF |
|
27 | Thomas Powell 0001 |
The equivalence of bar recursion and open recursion. |
Ann. Pure Appl. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Roussanka Loukanova |
From Montague's Rules of Quantification to Minimal Recursion Semantics and the Language of Acyclic Recursion. |
Biology, Computation and Linguistics |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich |
Termination Casts: A Flexible Approach to Termination with General Recursion |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Claudio Sacerdoti Coen, Silvio Valentini |
General Recursion and Formal Topology |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich |
Termination Casts: A Flexible Approach to Termination with General Recursion. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Claudio Sacerdoti Coen, Silvio Valentini |
General Recursion and Formal Topology. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Pascal Zimmer |
Récursion généralisée et inférence de types avec intersection. (Generalised recursion and type inference for intersection types). |
|
2004 |
RDF |
|
27 | A. Michiel van Rhee |
Use of Recursion Forests in the Sequential Screening Process: Consensus Selection by Multiple Recursion Trees. |
J. Chem. Inf. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Koichi Furukawa, Tomonobu Ozaki |
On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion. |
ILP Work-in-progress reports |
2000 |
DBLP BibTeX RDF |
|
27 | Yannis E. Ioannidis, Eugene Wong 0001 |
Transforming Nonlinear Recursion into Linear Recursion. |
Expert Database Conf. |
1988 |
DBLP BibTeX RDF |
|
22 | Wenfei Fan, Jeffrey Xu Yu, Jianzhong Li, Bolin Ding, Lu Qin 0001 |
Query translation from XPath to SQL in the presence of recursive DTDs. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Recursive DTD, SQL, XPath, XML database, Query translation |
22 | Ralf Hinze |
Exploiting Unique Fixed Points. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Marcus Denker, Mathieu Suen, Stéphane Ducasse |
The Meta in Meta-object Architectures. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Gösta Grahne, Alex Thomo |
Boundedness of Regular Path Queries in Data Integration Systems. |
IDEAS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Johan Glimming |
Parametric (Co)Iteration vs. Primitive Direcursion. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jooheung Lee, Narayanan Vijaykrishnan, Mary Jane Irwin |
Inverse discrete cosine transform architecture exploiting sparseness and symmetry properties. |
IEEE Trans. Circuits Syst. Video Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo |
Program transformation by solving recurrences. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
efficient time complexity, recurrences with one or multiple parameters, program transformation |
22 | Lars Kristiansen |
Neat function algebraic characterizations of logspace and linspace. |
Comput. Complex. |
2005 |
DBLP DOI BibTeX RDF |
03D10, Subject classification. 68Q15, 68Q05, 03D20 |
22 | José Luis Freire, Enrique Freire Brañas, Antonio Blanco |
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Mohamed Afify, Olivier Siohan |
Sequential estimation with optimal forgetting for robust speech recognition. |
IEEE Trans. Speech Audio Process. |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Yuhsuke Ohtaki, Daisuke Takahashi, Taisuke Boku, Mitsuhisa Sato |
Parallel Implementation of Strassen's Matrix Multiplication Algorithm for Heterogeneous Clusters. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Paolo D'Alberto, Alexandru Nicolau |
JuliusC: A Practical Approach for the Analysis of Divide-and-Conquer Algorithms. |
LCPC |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mohammad M. Mansour, Naresh R. Shanbhag |
VLSI architectures for SISO-APP decoders. |
IEEE Trans. Very Large Scale Integr. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Carlisle Eldwidge George |
Using visualization to aid program construction tasks. |
SIGCSE |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Karl-Heinz Niggl |
The m\mu-measure as a tool for classifying computational complexity. |
Arch. Math. Log. |
2000 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03D15, 68Q15, 68Q42, 03D20 |
22 | Ralf Hinze |
A New Approach to Generic Functional Programming. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Krassimir Georgiev, Jerzy Wasniewski |
Recursive Version of LU Decomposition. |
NAA |
2000 |
DBLP DOI BibTeX RDF |
LU factorization AMS Subject Classifications: 65F05, FORTRAN 90, recursive algorithms, numerical linear algebra, 65Y10 |
22 | Søren B. Lassen, Andrew Moran |
Unique Fixed Point Induction for McCarthy's Amb. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Karl-Heinz Niggl |
A restricted computation model on Scott domains and its partial primitive recursive functionals. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991):03D15, 03D65, 03D99, 68Q99, 68Q15, 68Q10, 68Q55, 68Q05, 03D20 |
22 | Huimin Lin |
Unique Fixpoint Induction for Mobile Processes. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Dan Suciu, Val Tannen |
Efficient Compilation of High-Level Data Parallel Algorithms. |
SPAA |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Lothar Reichel |
Construction of polynomials that are orthogonal with respect to a discrete bilinear form. |
Adv. Comput. Math. |
1993 |
DBLP DOI BibTeX RDF |
Subject classification AMS 65D10, 65F15, 65D15 |
22 | Jonas Barklund, Johan Bevemyr |
Prolog with Arrays and Bounded Quantifications. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Val Tannen, Ramesh Subrahmanyam |
Logical and Computational Aspects of Programming with Sets/Bags/Lists. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Solomon Feferman |
A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Yatin P. Saraiya |
Linearizing Nonlinear Recursions in Polynomial Time. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
22 | Herbert Klaeren, Klaus Indermark |
Efficient Implementation of an Algebraic Specification Language. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Finn Verner Jensen, Kim Guldstrand Larsen |
Recursively Defined Domains and Their Induction Principles. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
21 | David Ginat |
Impasse, Conflict, and Learning of CS Notions. |
ISSEP |
2010 |
DBLP DOI BibTeX RDF |
Impasse, Recursion, Induction, Conflict, Rigor |
21 | Mariusz Glabowski, Katarzyna Kubasik, Maciej Stasiak |
Modeling of systems with overflow multi-rate traffic. |
Telecommun. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Overflow traffic, Multiservice systems, Kaufman-Roberts recursion |
21 | Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |
Winning Regions of Higher-Order Pushdown Games. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes |
21 | Conor McBride |
Clowns to the left of me, jokers to the right (pearl): dissecting data structures. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
polynomial, generic programming, iteration, division, stack, differentiation, traversal, datatype, tail recursion, zipper, dissection |
21 | Manuel Rubio-Sánchez |
An introduction to problem equivalence with combinatorics. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
problem equivalence, NP-completeness, recursion, combinatorics, counting problems, fibonacci numbers |
21 | Luis Fernández-Muñoz, Antonio Pérez-Carrasco, J. Ángel Velázquez-Iturbide, Jaime Urquiza-Fuentes |
A Framework for the Automatic Generation of Algorithm Animations Based on Design Techniques. |
EC-TEL |
2007 |
DBLP DOI BibTeX RDF |
Computer science education, automation, recursion, program visualization, program animation |
21 | Derek Dreyer |
A type system for recursive modules. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
type systems, recursion, abstract data types, modules |
21 | Stefan Schäckeler, Weijia Shang |
Stack size reduction of recursive programs. |
CASES |
2007 |
DBLP DOI BibTeX RDF |
stack size reduction, embedded systems, recursion |
21 | Tom Schrijvers, Maurice Bruynooghe |
Polymorphic algebraic data type reconstruction. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type |
21 | Fuminori Mizushima, Takashi Toyoshima |
Language Learnability by Feedback Self-Organizing Maps. |
ICONIP (1) |
2006 |
DBLP DOI BibTeX RDF |
variable data length, self-organizing map, feedback, natural language, recursion, language identification |
21 | Yannis Manolopoulos |
On the number of recursive calls of recursive functions. |
ACM SIGCSE Bull. |
2005 |
DBLP DOI BibTeX RDF |
binomial coefficient, mergesort, number of calls, recursion, fibonacci numbers |
21 | Andreas Behrend |
Optimizing existential queries in stratifiable deductive databases. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
existential query, datalog, recursion, magic sets |
21 | Derek Dreyer |
Recursive type generativity. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
generativity, type systems, recursion, abstract data types, effect systems, recursive modules |
21 | Yao Wang 0001, Zhenyu Wu, Jill M. Boyce, Xiaoan Lu |
Modelling of distortion caused by packet losses in video transport. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
transmission-error induced distortion, recursion model, noninteger motion vector, motion-compensated temporal concealment, unconstrained intra prediction, in-loop deblocking filtering, encoder, video decoding |
21 | Luísa Coheur, Nuno J. Mamede, Gabriel G. Bès |
ASdeCopas: A Syntactic-Semantic Interface. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
Syntactic-semantic interface, rules hierarchy, 5P, Minimal Recursion Semantics, semantic rules |
21 | Isak Jonsson, Bo Kågström |
Recursive blocked algorithms for solving triangular systems - Part I: one-sided and coupled Sylvester-type matrix equations. |
ACM Trans. Math. Softw. |
2002 |
DBLP DOI BibTeX RDF |
SMP parallelization, generalized coupled Sylvester, standard Sylvester and Lyapunov, recursion, superscalar, LAPACK, level-3 BLAS, GEMM-based, SLICOT, Matrix equations, automatic blocking |
21 | Klaus-Dieter Schewe |
On the unification of query algebras and their extension to rational tree structures. |
ADC |
2001 |
DBLP DOI BibTeX RDF |
rational tree, structural recursion, query algebra |
21 | Hajime Ishihara |
Function algebraic characterizations of the polytime functions. |
Comput. Complex. |
1999 |
DBLP DOI BibTeX RDF |
Polytime functions, function algebras, recursion schemes |
21 | Raymond R. Devillers, Maciej Koutny |
Recursive Nets in the Box Algebra. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
box algebra, limit construction, guardedness, Petri nets, refinement, recursion, fixpoint |
21 | Albert Alderson, S. Arnold, P. Brook, Ken Jackson, R. Stevens |
An improved system engineering model. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
system engineering model, system acquisition, indefinite recursion, commercial factors, systems engineering, system development, lifecycles, layered approach, component development |
21 | Viral Shah, Sourav Bhattacharya |
Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
fault propagation analysis based variable length checkpoint placement, fault tolerant parallel systems, optimal checkpoint placement strategies, failure propagation analysis, distributed rollback recovery system, FPA based checkpoint placement strategy, task grouping/allocation, loop stabilization aspects, message communication instructions, checkpoint placement strategy, message send/receive regions, FPA process, checkpoint placement strategies, cyclic relationship, distributed systems, parallel algorithm, fast Fourier transform, FFT, recursion, distributed programs, task allocation, system recovery, link failures |
21 | Stefan Kahrs |
Limits of ML-Definability. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
completeness, ML, polymorphism, recursion, definability |
21 | Wolfgang Thomas, Helmut Lescow |
Logical Specifications of Infinite Computations. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
Infinite words, descriptive set theory, Cantor space, Borel hierarchy, Büchi automata, acceptance conditions, infinite trees, temporal logic, languages, regular -languages, monadic second-order logic, recursion theory, infinite games |
21 | Louise E. Moser |
Data Dependency Graphs for Ada Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment |
21 | David Callahan, Alan Carle, Mary W. Hall, Ken Kennedy |
Constructing the Procedure Call Multigraph. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
procedure call multigraph, precise call multigraph, algorithm, parallel programming, polynomial, recursion, upper bound |
21 | Uday S. Reddy |
Programming with sequences. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
abstract sequences, axiomatic reasoning, eight-queens problem, functional forms, operational reasoning, functional programming, dynamism, variables, recursion, fixed points, Procedural programming |
21 | Anton Nijholt |
On the Covering of Left Recursive Grammars. |
POPL |
1977 |
DBLP DOI BibTeX RDF |
left-recursion, parsing, grammar, cover, context-free |
21 | Claudio Mirolo |
Is iteration really easier to master than recursion: an investigation in a functional-first CS1 context. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Akitoshi Kawamura |
Differential recursion. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
differentially algebraic functions, real recursive functions, transcendentally transcendental functions, initial value problems, Analog computation |
21 | Roussanka Loukanova |
beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Karl Svozil |
On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory. |
UC |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Marcial Lapp, Shervin AhmadBeygi, Amy Cohn, Omer Tsimhoni |
A recursion-based approach to simulating airline schedule robustness. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ralph Matthes |
Recursion on Nested Datatypes in Dependent Type Theory. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Tetsuki Taniguchi, Nordin Bin Ramli, Yoshio Karasawa |
CORPS - Combined Recursion Processing of Subsets for Adaptive Array Antennas Under Frequency Selective Fading. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Kai Qian, Jigang Liu, Shangrong Deng |
Recursion detection testing on software components. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Adam Megacz |
A coinductive monad for prop-bounded recursion. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
coinductive types, type theory |
21 | C.-H. Luke Ong |
Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes. |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia |
On Recursion, Replication and Scope Mechanisms in Process Calculi. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Fred Karlsson |
Recursion in Natural Languages. |
FinTAL |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Mihalis Yannakakis |
Recursion and Probability. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Deling Ren, Martin Erwig |
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
traversal strategy, generic programming |
21 | Xiaotong Zhuang, Vincenzo Liberatore |
A Recursion-Based Broadcast Paradigm in Wormhole Routed Networks. |
IEEE Trans. Parallel Distributed Syst. |
2005 |
DBLP DOI BibTeX RDF |
parallel processing, Hypercube, mesh, wormhole routing, torus, massive parallel computer, one-to-all broadcast |
21 | Kousha Etessami, Mihalis Yannakakis |
Probability and Recursion. |
ISAAC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong |
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ferruccio Damiani |
Rank-2 Intersection and Polymorphic Recursion. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiewicz |
Idealized Algol with Ground Recursion, and DPDA Equivalence. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Tammy Rosenthal |
Introducing recursion by using multimedia. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
technology-based learning, problem-based learning |
21 | Charles W. Therrien |
The missing observations theorem and a new proof of Levinson's recursion. |
ISCAS (3) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Wei Ren, Hai Jin 0001 |
A Recursion Nearness Based Method for Characterizing IP Address. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
21 | András A. Benczúr, Balázs Kósa |
Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences. |
ADBIS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Sava Krstic, John Matthews |
Inductive Invariants for Nested Recursion. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Mario Bravetti, Roberto Gorrieri |
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement |
21 | Yannis Manolopoulos |
Binomial coefficient computation: recursion or iteration? |
ACM SIGCSE Bull. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Ana Bove |
General Recursion in Type Theory. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Xiaotong Zhuang, Vincenzo Liberatore |
A Recursion-Based Broadcast Paradigm in Wormhole Routed Mesh/Torus Networks. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Eike Best, Raymond R. Devillers, Maciej Koutny |
Recursion and Petri nets. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Carsten Schürmann |
Recursion for Higher-Order Encodings. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Fred G. Gustavson, Isak Jonsson |
High Performance Cholesky Factorization via Blocking and Recursion That Uses Minimal Storage. |
PARA |
2000 |
DBLP DOI BibTeX RDF |
packed format, level 3 BLAS parallelism, recursive algorithm, Cholesky factorization, recursive data structure |
21 | Magne Haveraaen |
Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Qing Yi, Vikram S. Adve, Ken Kennedy |
Transforming loops to recursion for multi-level memory hierarchies. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 2517 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|