Search results for "recursion"

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