Search results for "recursion"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Chi Tat Chong, Liang Yu	Recursion Theory - Computational Aspects of Definability.		2015	RDF
13	Son Thanh Cao	On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases.	ICCSAMA	2015	DBLP DOI BibTeX RDF
13	Roussanka Loukanova	Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion.	FQAS	2015	DBLP DOI BibTeX RDF
13	Juan L. Reutter, Adrián Soto, Domagoj Vrgoc	Recursion in SPARQL.	ISWC (1)	2015	DBLP DOI BibTeX RDF
13	Brigitte Pientka, Andreas Abel 0001	Well-Founded Recursion over Contextual Objects.	TLCA	2015	DBLP DOI BibTeX RDF
13	Ralf Hinze, Nicolas Wu, Jeremy Gibbons	Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes.	POPL	2015	DBLP DOI BibTeX RDF
13	Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal	Programming and Reasoning with Guarded Recursion for Coinductive Types.	FoSSaCS	2015	DBLP DOI BibTeX RDF
13	Ravi Chugh	IsoLATE: A Type System for Self-recursion.	ESOP	2015	DBLP DOI BibTeX RDF
13	Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond	Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.	ESOP	2015	DBLP DOI BibTeX RDF
13	Minming Ni, Jianping Pan 0001, Miao Hu, Zhangdui Zhong	Recursion-Based Analysis for Information Propagation in Vehicular Ad Hoc Networks.	GLOBECOM	2015	DBLP DOI BibTeX RDF
13	Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski	Eliminating Recursion from Monadic Datalog Programs on Trees.	MFCS (1)	2015	DBLP DOI BibTeX RDF
13	Giulia Pedrielli, Szu Hui Ng	Kriging-based simulation-optimization: a stochastic recursion perspective.	WSC	2015	DBLP DOI BibTeX RDF
13	Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir	On Verifying Hennessy-Milner Logic with Recursion at Runtime.	RV	2015	DBLP DOI BibTeX RDF
13	Steven Phillips, William H. Wilson	Cognitive architecture and second-order systematicity: categorical compositionality and a (co)recursion model of systematic learning.	CogSci	2015	DBLP BibTeX RDF
13	Jun Lai, Emiel Krahmer, Jan Sprenger	The learnability of Auditory Center-embedded Recursion.	CogSci	2015	DBLP BibTeX RDF
13	Paul Downen, Philip Johnson-Freyd, Zena M. Ariola	Structures for structural recursion.	ICFP	2015	DBLP DOI BibTeX RDF
13	Renée A. McCauley, Brian Hanks, Sue Fitzgerald, Laurie Murphy	Recursion vs. Iteration: An Empirical Study of Comprehension Revisited.	SIGCSE	2015	DBLP DOI BibTeX RDF
13	Matic Horvat, Ann A. Copestake, Bill Byrne	Hierarchical Statistical Semantic Realization for Minimal Recursion Semantics.	ICWS	2015	DBLP BibTeX RDF
13	Hiroshi Unno 0001, Tachio Terauchi	Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling.	TACAS	2015	DBLP DOI BibTeX RDF
13	Thom W. Frühwirth	A devil's advocate against termination of direct recursion.	PPDP	2015	DBLP DOI BibTeX RDF
13	Jesús Sánchez Cuadrado	Recursion and Iteration Support in USE Validator with AnATLyzer.	OCL@MoDELS	2015	DBLP BibTeX RDF
13	Chao Su, Heyan Huang, Shumin Shi, Ping Jian	Chinese Text Analysis Based on Minimal Recursion Semantics.	CLSW	2015	DBLP DOI BibTeX RDF
13	Omar AlZoubi, Davide Fossati, Barbara Di Eugenio, Nick E. Green, Mehrdad Alizadeh, Rachel Harsley	A Hybrid Model for Teaching Recursion.	SIGITE	2015	DBLP DOI BibTeX RDF
13	Stefano Coraluppi, Craig Carthel	Generalizations to the track-oriented MHT recursion.	FUSION	2015	DBLP BibTeX RDF
13	Christopher W. Fletcher, Ling Ren 0001, Albert Kwon, Marten van Dijk, Srinivas Devadas	Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM.	ASPLOS	2015	DBLP DOI BibTeX RDF
13	Naoki Nishida 0001, Germán Vidal	Conversion to tail recursion in term rewriting.	J. Log. Algebraic Methods Program.	2014	DBLP DOI BibTeX RDF
13	Nathanael Leedom Ackerman	Sheaf Recursion and a Separation Theorem.	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
13	Sato Kentaro	Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories.	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
13	C. T. Chong, Wei Li 0050, Yue Yang 0004	Nonstandard Models in Recursion Theory and Reverse Mathematics.	Bull. Symb. Log.	2014	DBLP DOI BibTeX RDF
13	Mike Burrell, J. Robin B. Cockett, Brian F. Redmond	Safe recursion revisited I: Categorical semantics for lower complexity.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
13	Kenneth R. Paap, Derek Partridge	Recursion Isn't Necessary for Human Language Processing: NEAR (Non-iterative Explicit Alternatives Rule) Grammars are Superior.	Minds Mach.	2014	DBLP DOI BibTeX RDF
13	Wolfgang Jeltsch	Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion.	MSFP	2014	DBLP DOI BibTeX RDF
13	Naohi Eguchi	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion.	CoRR	2014	DBLP BibTeX RDF
13	Thomas Powell 0001	Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice.	CoRR	2014	DBLP BibTeX RDF
13	Paulo Oliva, Thomas Powell 0001	Bar recursion over finite partial functions.	CoRR	2014	DBLP BibTeX RDF
13	Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko	Generalised Interpolation by Solving Recursion-Free Horn Clauses	HCVS	2014	DBLP DOI BibTeX RDF
13	Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt 0002	Guarding (Co)Recursion in Coalgebraic Logic Programming.	CoRR	2014	DBLP BibTeX RDF
13	Ugo Dal Lago, Sara Zuppiroli	Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version).	CoRR	2014	DBLP BibTeX RDF
13	Mingsheng Ying	Quantum Recursion and Second Quantisation: Basic Ideas and Examples.	CoRR	2014	DBLP BibTeX RDF
13	Martín Hötzel Escardó, Paulo Oliva	Bar Recursion and Products of Selection Functions.	CoRR	2014	DBLP BibTeX RDF
13	David J. Lobina	Probing recursion.	Cogn. Process.	2014	DBLP DOI BibTeX RDF
13	Natasa Jonoska, Daria Karpenko	Active Tile Self-assembly, Part 2: Self-Similar Structures and Structural Recursion.	Int. J. Found. Comput. Sci.	2014	DBLP DOI BibTeX RDF
13	Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli	Probabilistic Recursion Theory and Implicit Computational Complexity.	Sci. Ann. Comput. Sci.	2014	DBLP DOI BibTeX RDF
13	Kathiravan Srinivasan, Kanakaraj Jaganathan	Super-resolution Techniques based on Temporal Recursion using Optimal and Real Parameters.	Smart Comput. Rev.	2014	DBLP DOI BibTeX RDF
13	Sérgio Medeiros 0001, Fabio Mascarenhas, Roberto Ierusalimschy	Left recursion in Parsing Expression Grammars.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
13	Francesco Bartolucci, Silvia Pandolfi	A New Constant Memory Recursion for Hidden Markov Models.	J. Comput. Biol.	2014	DBLP DOI BibTeX RDF
13	Baltasar Trancón y Widemann, Michael Hauhs	Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.	CMCS	2014	DBLP DOI BibTeX RDF
13	Elisabeth Lien, Milen Kouylekov	UIO-Lien: Entailment Recognition using Minimal Recursion Semantics.	SemEval@COLING	2014	DBLP DOI BibTeX RDF
13	Ugo Dal Lago, Sara Zuppiroli	Probabilistic Recursion Theory and Implicit Computational Complexity.	ICTAC	2014	DBLP DOI BibTeX RDF
13	Edward M. Reingold	Four Apt Elementary Examples of Recursion.	Language, Culture, Computation (1)	2014	DBLP DOI BibTeX RDF
13	Elynn Lee, Victoria Shan, Bradley Beth, Calvin Lin	A structured approach to teaching recursion using cargo-bot.	ICER	2014	DBLP DOI BibTeX RDF
13	Colleen M. Lewis	Exploring variation in students' correct traces of linear recursion.	ICER	2014	DBLP DOI BibTeX RDF
13	Yang Xu 0023, Terry Regier	Numeral systems across languages support efficient communication: From approximate numerosity to recursion.	CogSci	2014	DBLP BibTeX RDF
13	Jun Lai, Emiel Krahmer, Jan Sprenger	Studying Frequency Effects in Learning Center-embedded Recursion.	CogSci	2014	DBLP BibTeX RDF
13	Elisabeth Lien	Using Minimal Recursion Semantics for Entailment Recognition.	EACL	2014	DBLP DOI BibTeX RDF
13	Jinghua Zhang, Mustafa Atay, Emanuel Smith, Elvira R. Caldwell, Elva J. Jones	Using a game-like module to reinforce student understanding of recursion.	FIE	2014	DBLP DOI BibTeX RDF
13	Grigory Fedyukovich, Natasha Sharygina	Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection.	SBMF	2014	DBLP DOI BibTeX RDF
13	Michael Wirth	The Canny Skipper - A Puzzle For Demonstrating Data Structures And Recursion.	WCCCE	2014	DBLP DOI BibTeX RDF
13	Steven J. Ramsay	Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes.	PPDP	2014	DBLP DOI BibTeX RDF
13	Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida	Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.	FORTE	2014	DBLP DOI BibTeX RDF
13	Son Thanh Cao, Linh Anh Nguyen	An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination.	ADBIS (2)	2014	DBLP DOI BibTeX RDF
13	Rasmus Ejlers Møgelberg	A type theory for productive coprogramming via guarded recursion.	CSL-LICS	2014	DBLP DOI BibTeX RDF
13	Konstantinos Mamouras	On the Hoare theory of monadic recursion schemes.	CSL-LICS	2014	DBLP DOI BibTeX RDF
13	Maciej M. Syslo, Anna Beata Kwiatkowska	Introducing Students to Recursion: A Multi-facet and Multi-tool Approach.	ISSEP	2014	DBLP DOI BibTeX RDF
13	Daniel Schwencke	Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion.		2014	RDF
13	Sara Zuppiroli	Probabilistic Recursion Theory and Implicit Computational Complexity.		2014	RDF
13	Wei Li 0050	Friedberg numbering in fragments of Peano Arithmetic and α-recursion theory.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
13	Colin G. Bailey	Some jump-like operations in β-recursion theory.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
13	Debora R. Hammond	Reflections on recursion and the evolution of learning.	Kybernetes	2013	DBLP DOI BibTeX RDF
13	Arnab K. Shaw, Anindya Sao Paul, Robert Williams	Eigen-Template-Based HRR-ATR with Multi-Look and Time-Recursion.	IEEE Trans. Aerosp. Electron. Syst.	2013	DBLP DOI BibTeX RDF
13	Abdul-Majid Wazwaz	(2 + 1)-Dimensional Burgers equations BE(m + n + 1): Using the recursion operator.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
13	Qinlong Wang, Wentao Huang, Haitao Wu	Linear recursion formulas of generalized focus quantities and applications.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
13	Xia Hong 0001, Richard J. Mitchell 0001, Sheng Chen 0001	System identification of Wiener systems with B-spline functions using De Boor recursion.	Int. J. Syst. Sci.	2013	DBLP DOI BibTeX RDF
13	S. S. Marchenkov	Bounded monotone recursion and multihead automata.	Program. Comput. Softw.	2013	DBLP DOI BibTeX RDF
13	Alexander I. Legalov, Oleg V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva	Tail recursion transformation in functional dataflow parallel programs.	Autom. Control. Comput. Sci.	2013	DBLP DOI BibTeX RDF
13	Philipp Rümmer, Hossein Hojjat, Viktor Kuncak	The Relationship between Craig Interpolation and Recursion-Free Horn Clauses	CoRR	2013	DBLP BibTeX RDF
13		A theory of function-induced-orders to study recursion termination.	CoRR	2013	DBLP BibTeX RDF
13	Stefan Milius, Tadeusz Litak	Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion.	FICS	2013	DBLP DOI BibTeX RDF
13	David I. Spivak	The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits	CoRR	2013	DBLP BibTeX RDF
13	Sergio Rajsbaum, Michel Raynal, Panagiota Fatourou	An Introductory Tutorial to Concurrency-Related Distributed Recursion.	Bull. EATCS	2013	DBLP BibTeX RDF
13	Yujun Yang, Douglas J. Klein	A recursion formula for resistance distances and its applications.	Discret. Appl. Math.	2013	DBLP DOI BibTeX RDF
13	Nathaniel Charlton, Bernhard Reus	Specification patterns for reasoning about recursion through the store.	Inf. Comput.	2013	DBLP DOI BibTeX RDF
13	Elizabeth M. Niese	A new recursion for three-column combinatorial Macdonald polynomials.	J. Comb. Theory, Ser. A	2013	DBLP DOI BibTeX RDF
13	Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo	Extending the power of datalog recursion.	VLDB J.	2013	DBLP DOI BibTeX RDF
13	Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández	Formalizing a Broader Recursion Coverage in SQL.	PADL	2013	DBLP DOI BibTeX RDF
13	Gianluca Frison, John Bagterp Jørgensen	Efficient implementation of the Riccati recursion for solving linear-quadratic control problems.	CCA	2013	DBLP DOI BibTeX RDF
13	Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández	Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems.	LPAR (short papers)	2013	DBLP DOI BibTeX RDF
13	Dominique Devriese, Ilya Sergey, Dave Clarke 0001, Frank Piessens	Fixing idioms: a recursion primitive for applicative DSLs.	PEPM	2013	DBLP DOI BibTeX RDF
13	Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch	Small Induction Recursion.	TLCA	2013	DBLP DOI BibTeX RDF
13	Joe Tessler, Bradley Beth, Calvin Lin	Using cargo-bot to provide contextualized learning of recursion.	ICER	2013	DBLP DOI BibTeX RDF
13	Lukasz Czajka 0001	Partiality and Recursion in Higher-Order Logic.	FoSSaCS	2013	DBLP DOI BibTeX RDF
13	Koichi Fujima, Sohei Ito, Naoki Kobayashi 0001	Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes.	APLAS	2013	DBLP DOI BibTeX RDF
13	Valentin Blot, Colin Riba	On Bar Recursion and Choice in a Classical Setting.	APLAS	2013	DBLP DOI BibTeX RDF
13	Everardo Bárcenas, Jesús Lavalle	Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals.	MICAI (1)	2013	DBLP DOI BibTeX RDF
13	Luke Ong	Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking.	LATA	2013	DBLP DOI BibTeX RDF
13	Cem Bozsahin	Natural Recursion Doesn't Work That Way: Automata in Planning and Syntax.	PT-AI	2013	DBLP DOI BibTeX RDF
13	Robert Atkey, Conor McBride	Productive coprogramming with guarded recursion.	ICFP	2013	DBLP DOI BibTeX RDF
13	Andreas Abel 0001, Brigitte Pientka	Wellfounded recursion with copatterns: a unified approach to termination and productivity.	ICFP	2013	DBLP DOI BibTeX RDF
13	Ralf Hinze, Nicolas Wu, Jeremy Gibbons	Unifying structured recursion schemes.	ICFP	2013	DBLP DOI BibTeX RDF
13	Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001	Structural recursion for querying ordered graphs.	ICFP	2013	DBLP DOI BibTeX RDF