Search results for "WK-recursive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
65	Daniel Troy, Clement T. Yu, Weining Zhang	Linearization of Nonlinear Recursive Rules.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	nonlinear recursive rules, nonlinear recursive logic query, doubly recursive rule, type, linearization, equivalent, recursive functions, necessary and sufficient condition
58	Yanhong A. Liu	Dependence Analysis for Recursive Data.	ICCL	1998	DBLP DOI BibTeX RDF	recursive data, recursive substructure, dead-code analysis, partially dead recursive data, regular tree grammars, grammar transformers, projections, dependence analysis, efficient algorithms, approximation operations
55	John Gill, Manuel Blum 0001	On Almost Everywhere Complex Recursive Functions.	J. ACM	1974	DBLP DOI BibTeX RDF
51	Ming-Yang Su, Gen-Huey Chen, Dyi-Rong Duh	A Shortest-Path Routing Algorithm for Incomplete WK-Recursive Networks.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	incomplete WK-recursive network, multistage graph representation, shortest-path routing algorithm, routing, Graph-theoretic interconnection network, WK-recursive network
50	Deepak Kapur, Nikita A. Sakhanenko	Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions.	TPHOLs	2003	DBLP DOI BibTeX RDF
49	Angel Dominguez, Nghi Nguyen, Rajeev Barua	Recursive function data allocation to scratch-pad memory.	CASES	2007	DBLP DOI BibTeX RDF	profile dependance, embedded systems, compiler, memory allocation, recursive functions, scratch-pad memory
46	Jeffrey F. Naughton	Minimizing function-free recursive inference rules.	J. ACM	1989	DBLP DOI BibTeX RDF
45	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
43	Ming-Yang Su, Gen-Huey Chen, Dyi-Rong Duh	Broadcasting on Incomplete WK-Recursive Networks.	ISPAN	1996	DBLP DOI BibTeX RDF	incomplete WK-recursive networks, broadcasting algorithms, graph-theoretic interconnection network, WK-recursive networks
43	Rakesh Agrawal 0001	Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Codd, alpha operator, transitive relationships, project management network, relational databases, query languages, database theory, deductive databases, relational algebra, critical path, recursive functions, recursive queries
42	Fan Li, Yiming Yang	Using recursive classification to discover predictive features.	SAC	2005	DBLP DOI BibTeX RDF	machine learning, feature selection, text categorization
42	Siddhartha Chatterjee, Alvin R. Lebeck, Praveen K. Patnala, Mithuna Thottethodi	Recursive Array Layouts and Fast Matrix Multiplication.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	matrix multiplication, Data layout
42	David Harel	Towards a Theory of Recursive Structures.	MFCS	1998	DBLP DOI BibTeX RDF
42	David Harel	Towards a theory of Recursive Structures.	Computer Science Today	1995	DBLP DOI BibTeX RDF
42	Wolfgang Kunz, Dhiraj K. Pradhan	Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
40	Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring	Generic programming with fixed points for mutually recursive datatypes.	ICFP	2009	DBLP DOI BibTeX RDF	mutually recursive datatypes, haskell, fixed points, datatype-generic programming
40	Yi-Dong Shen	Reasoning with recursive loops under the PLP framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks
40	Man Wong, Tuen Mun	Evolving Recursive Programs by Using Adaptive Grammar Based Genetic Programming.	Genet. Program. Evolvable Mach.	2005	DBLP DOI BibTeX RDF	grammar based genetic programming, recursive programs, logic grammars
40	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
40	Ming-Yang Su, Gen-Huey Chen, Dyi-Rong Duh	A linear-time algorithm for computing the diameters of the incomplete WK-recursive networks.	ICPADS	1996	DBLP DOI BibTeX RDF	multistage graphs, prune-and-search technique, interconnection network, multiprocessor system, multistage interconnection networks, linear-time algorithm, WK-recursive networks
39	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
38	Alessandro Armando, Alan Smaill, Ian Green	Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.	ASE	1997	DBLP DOI BibTeX RDF	proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm
38	John Shunen Shieh	Recursive morphological sieve method for searching pictorial point symbols on maps.	ICDAR	1995	DBLP DOI BibTeX RDF	recursive morphological sieve method, pictorial point symbol searching, positional data, point symbol identification, automatic map understanding, line symbols, morphological template matching method, K-tolerance covering, symbol kernel covering, morphologically preprocessed maps, multi-level sieves, screened out symbol kernels, sieve renewal, recursive screening process, pictorial point symbol recognition, documental files, image segmentation, edge detection, maps, identification, document image processing, cartography, partial ordering method, textured regions, colored regions
38	Yamin Li, Shietung Peng, Wanming Chu	Recursive Dual-Net: A New Universal Network for Supercomputers of the Next Generation.	ICA3PP	2009	DBLP DOI BibTeX RDF
38	Ahmad Ghazal, Alain Crolotte, Dawit Yimam Seid	Recursive SQL Query Optimization with k-Iteration Lookahead.	DEXA	2006	DBLP DOI BibTeX RDF
38	Tomasz Pieciukiewicz, Krzysztof Stencel, Kazimierz Subieta	Usable Recursive Queries.	ADBIS	2005	DBLP DOI BibTeX RDF
38	Eiju Hirowatari, Setsuo Arikawa	A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions.	ALT	1998	DBLP DOI BibTeX RDF
38	Su S. Chen, Robert M. Haralick	Recursive erosion, dilation, opening, and closing transforms.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
37	Rajasekar Krishnamurthy, Venkatesan T. Chakaravarthy, Raghav Kaushik, Jeffrey F. Naughton	Recursive XML Schemas, Recursive XML Queries, and Relational Storage: XML-to-SQL Query Translation.	ICDE	2004	DBLP DOI BibTeX RDF
37	George H. Roberts	From Recursive Ascent to Recursive Descent: Via Compiler Optimizations.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
37	Weining Zhang, Clement T. Yu	A Necessary Condition for a Doubly Recursive Rule to be Equivalent to a Linear Recursive Rule.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
37	Julio Martín-Herrero	Hybrid object labelling in digital images.	Mach. Vis. Appl.	2007	DBLP DOI BibTeX RDF	Object labelling, Recursive labelling, Connected components
37	Derek Dreyer	A type system for well-founded recursion.	POPL	2004	DBLP DOI BibTeX RDF	yype systems, recursion, effect systems, recursive modules
36	Yun Sun, Zhoujun Li 0001, Deqiang Wang	Hamiltonian Property on Binary Recursive Networks.	FAW	2007	DBLP DOI BibTeX RDF	binary recursive networks, interconnection network, hypercube, Hamiltonian cycle
36	Yun Sun, Zhoujun Li 0001, Deqiang Wang	Hamiltonicity and Pancyclicity of Binary Recursive Networks.	ISPA	2007	DBLP DOI BibTeX RDF	Binary recursive networks, Interconnection network, Hypercube, Hamiltonian cycle, Pancyclicity
36	Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis	Analysis of recursive state machines.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
36	Derek Dreyer	Recursive type generativity.	ICFP	2005	DBLP DOI BibTeX RDF	generativity, type systems, recursion, abstract data types, effect systems, recursive modules
36	Dario Colazzo, Giorgio Ghelli	Subtyping Recursive Types in Kernel Fun.	LICS	1999	DBLP DOI BibTeX RDF	type theory and type systems, kernel Fun, subtyping, recursive types
36	Daniel A. Keim, Mihael Ankerst, Hans-Peter Kriegel	Recursive Pattern: A Technique for Visualizing Very Large Amounts of Data.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	Visualizing Large Data Sets, Visualizing Multidimensional and Multivariate Data, Visualizing Large Sequential Data Sets, Recursive Visualization Techniques, Interfaces to Databases
35	Petr Somol, Pavel Pudil, Jirí Grim	Branch & Bound Algorithm with Partial Prediction for Use with Recursive and Non-recursive Criterion Forms.	ICAPR	2001	DBLP DOI BibTeX RDF	subset search, recursive criteria, feature selection, search tree, subset selection, optimal search
34	Antonio Corral, Michael Vassilakopoulos, Yannis Manolopoulos	The Impact of Buffering on Closest Pairs Queries Using R-Trees.	ADBIS	2001	DBLP DOI BibTeX RDF
34	John P. Kaufhold, Michael K. Schneider, William Clement Karl, Alan S. Willsky	A Recursive Estimation Approach to the Segmentation of MR Imagery.	ICIP (2)	1997	DBLP DOI BibTeX RDF	MR imagery segmentation, clinical tool, homogeneous regions, gray matter, cerebro spinal fluid, brain features, estimation-theoretic interpretation, computationally efficient technique, statistically based recursive technique, variational segmentation method, Kalman filter, magnetic resonance imaging, biomedical NMR, recursive estimation, uncertainty measures, research tool, white matter, human brain
34	John C. McEachen II, François G. Meyer, R. Todd Constable, Arye Nehorai, James S. Duncan	A Recursive Filter for Phase Velocity Assisted Shape-Based Tracking of Cardiac Non-Rigid Motion.	ICCV	1995	DBLP DOI BibTeX RDF	tracking filters, phase velocity assisted shape-based tracking, cardiac nonrigid motion, pointwise periodic nonrigid motion tracking, heart left ventricular wall, magnetic resonance imaging techniques, phase-contrast cine MR imaging, instantaneous velocity, myocardium, shape-based matching techniques, raw trajectories, recursive least squares filter, temporal periodicity constraint, spatial smoothness constraint, final estimate, implanted marker motion, shape-based filtered trajectory estimates, phase-contrast enhanced trajectory estimates, canine heart MR images, motion estimation, image matching, medical image processing, least squares approximations, biomedical NMR, cardiology, recursive filters, trajectory estimation, shape information, spatial maps
34	Eric L. Miller 0001	A scale-recursive, statistically-based method for anomaly characterization in images based upon observations of scattered radiation.	ICIP	1995	DBLP DOI BibTeX RDF	electromagnetic wave scattering, terrestrial electricity, geophysical prospecting, statistically-based method, nonlinear scattering model, anomaly characterization, scattered radiation, scale-recursive algorithm, measured fields, estimation-theoretic techniques, decision-theoretic techniques, low-frequency inverse conductivity problem, image processing, statistical analysis, images, decision theory, inverse problems, recursive estimation, geophysical signal processing, geophysical signal processing, Maxwell equations, Maxwell's equation
34	Ralph Sucher	A recursive nonlinear filter for removal of impulse noise.	ICIP	1995	DBLP DOI BibTeX RDF	recursive nonlinear filter, impulsive noise suppression, impulse detection, impulse height, sample estimation, impulse detector, joint optimality criterion, highly corrupted signals, weakly corrupted signals, impulse distributions, performance, noise, signal processing, nonlinear filters, nonlinear filtering, radial basis function network, filtering theory, feedforward neural nets, recursive filters, parameters, fuzzy decision, signal detection, impulse noise removal
34	John C. McEachen II, Arye Nehorai, James S. Duncan	Estimating cardiac motion from image sequences using recursive comb filtering.	ICIP	1995	DBLP DOI BibTeX RDF	cardiac motion estimation, recursive comb filtering, harmonic estimation, image-derived shape-based correspondences, magnetic resonance contrast markers trajectories, flow vector computation method, temporal trends, algorithm development, 3D problem, 2D analysis, motion estimation, image sequences, medical image processing, biomechanics, biomedical NMR, medical diagnostic imaging, cardiology, recursive filters, periodic motion
34	Joseph C. Jacob, Soo-Young Lee	A Spanning Tree Based Recursive Refinement Algorithm for Fast Task Mapping.	HPDC	1995	DBLP DOI BibTeX RDF	spanning tree based recursive refinement algorithm, fast task mapping, tasks movement, structural characteristics, mapping quality, distributed system, parallel algorithms, resource allocation, distributed processing, optimisation, parallel systems, network of workstations, dynamic load balancing, recursive functions
34	Michael Unser, Akram Aldroubi, Murray Eden	Recursive Regularization Filters: Design, Properties, and Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	causal recursive filters, first-order difference operators, highpass stabilizing kernels, discrete regularization filters, R-filters, stable symmetric lowpass filters, adjustable scale factor, anticausal recursive filtering, second-order difference operators, two-dimensional signals, optimal Canny edge detector, separable second-order R-filter, pattern recognition, edge detection, filtering and prediction theory, least squares approximation, least squares approximations, low-pass filters, impulse response, z-transform, Z transforms, decomposition theorems
33	Lin Gao 0002, Lian Li 0002, Jingling Xue, Tin-Fook Ngai	Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction.	CC	2009	DBLP DOI BibTeX RDF
33	Yuan-Hau Yang, Ju-Hong Lee	Design Of 2-D Recursive Digital Filters Using Nonsymmetric Half-Plane Allpass Filters.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
33	Zhoujun Li, Yun Sun, Deqiang Wang	Diameter bounds of cubelike recursive networks.	ICPADS	2007	DBLP DOI BibTeX RDF
33	Mingzhu Wei, Ming Li 0008, Elke A. Rundensteiner, Murali Mani	Processing Recursive XQuery over XML Streams: The Raindrop Approach.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
33	Eiju Hirowatari, Kouichi Hirata, Tetsuhiro Miyahara	Prediction of Recursive Real-Valued Functions from Finite Examples.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
33	Che-Hong Chen, Bin-Da Liu, Jar-Ferr Yang	Condensed recursive structures for computing multi-dimensional DCT with arbitrary length.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
33	Ben Appleton, Hugues Talbot	Efficient and Consistent Recursive Filtering of Images with Reflective Extension.	Scale-Space	2003	DBLP DOI BibTeX RDF
33	Che-Hong Chen, Bin-Da Liu, Jar-Ferr Yang	Direct recursive structures for computing radix-r two-dimensional DCT.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
33	Zümray Dokur, Tamer Ölmez	Recursive Form of the Discrete Fourier Transform for Two-Dimensional Signals.	IDEAL	2002	DBLP DOI BibTeX RDF
33	Elena Couselo, Santos González, Viktor T. Markov, Alexander A. Nechaev	Recursive MDS-Codes and Pseudogeometries.	AAECC	1999	DBLP DOI BibTeX RDF
33	Ute Schmid, Fritz Wysotzki	Induction of Recursive Program Schemes.	ECML	1998	DBLP DOI BibTeX RDF	Inductive Program Synthesis, Planning and Learning, Cognitive Modelling, Analogy
33	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.	PEPM	1997	DBLP DOI BibTeX RDF
33	Ke Wang	Some Positive Results for Boundedness of Multiple Recursive Rules.	ICDT	1995	DBLP DOI BibTeX RDF
33	David Harel	Towards a Theory of Recursive Structures.	STACS	1994	DBLP DOI BibTeX RDF
33	Latha S. Colby	A Recursive Algebra and Query Optimization for Nested Relations.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
33	Johann Eder	Extending SQL with General Transitive Closure and Extreme Value Selections.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	general transitive closure, recursive query processing applications, general recursive capabilities, existing query languages, database language SQL, view definition mechanism, extreme value sections, special constructs, maximal values, recursively defined views, nonlinear recursion, standards, database management systems, query languages, attributes, information retrieval systems, tuples, recursive structures
32	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
32	Pietro Di Gianantonio, Marino Miculan	A Unifying Approach to Recursive and Co-recursive Definitions.	TYPES	2002	DBLP DOI BibTeX RDF
32	Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki	Inductive Synthesis of Functional Programs.	AISC	2002	DBLP DOI BibTeX RDF	Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding
32	Kousha Etessami, Mihalis Yannakakis	Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations.	J. ACM	2009	DBLP DOI BibTeX RDF	Recursive Markov chains, monotone nonlinear systems, multi-type branching processes, Newton's method, stochastic context-free grammars
32	Zhong Tang, Daifa Liao	Research of Current Control Strategy of Hybrid Active Power Filter Based on Fuzzy Recursive Integral PI Control Algorithm.	AICI	2009	DBLP DOI BibTeX RDF	Hybrid active power filter, Recursive integral PI, PSCAD/EMTDC, Fuzzy control
32	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato	Analyzing recursive programs using a fixed-point calculus.	PLDI	2009	DBLP DOI BibTeX RDF	recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
32	Daniel Leivant	Propositional Dynamic Logic for Recursive Procedures.	VSTTE	2008	DBLP DOI BibTeX RDF	?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
32	Daniele Loiacono, Pier Luca Lanzi	Recursive least squares and quadratic prediction in continuous multistep problems.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	multistep problems, learning classifier systems, recursive least squares
32	Eunjung Han, Kirak Kim, HwangKyu Yang, Keechul Jung	Frame Segmentation Used MLP-Based X-Y Recursive for Mobile Cartoon Content.	HCI (3)	2007	DBLP DOI BibTeX RDF	X-Y recursive, frame segmentation, mobile cartoon contents, MLP
32	Shujuan Jiang, Baowen Xu, Liang Shi	An approach to analyzing recursive programs with exception handling constructs.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	reliability, static analysis, programming language, exception handling, recursive function, exception propagation
32	Yong Mao, Xiaobo Zhou 0001, Zheng Yin, Daoying Pi, Youxian Sun, Stephen T. C. Wong	Gene Selection Using Gaussian Kernel Support Vector Machine Based Recursive Feature Elimination with Adaptive Kernel Width Strategy.	RSKT	2006	DBLP DOI BibTeX RDF	recursive feature elimination, machine learning, support vector machine, Feature selection
32	Robert Granat, Isak Jonsson, Bo Kågström	Combining Explicit, Recursive Blocking for Solving Triangular Sylvester-Type Matrix Equations on Distributed Memory Platforms.	Euro-Par	2004	DBLP DOI BibTeX RDF	Sylvester matrix equation, Bartels–Stewart method, ScaLAPACK-style algorithms, RECSY, blocking, LAPACK, recursive algorithms, level 3 BLAS, continuous-time, GEMM-based, automatic blocking
32	Jung-Sheng Fu	Hamiltonian-Connectedness of the WK-Recursive Network.	ISPAN	2004	DBLP DOI BibTeX RDF	WK-recursive, interconnection network, embedding, Hamiltonian-connected
32	Min-Hsuan Fan, Chua-Huang Huang, Yeh-Ching Chung	A Programming Methodology for Designing Block Recursive Algorithms on Various Computer Networks.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	block recursive algorithm, baseline network, parallel processing, hypercube network, omega network, tensor product, programming methodology, parallel prefix
32	Emílio Del Moral Hernandez	Studying Neural Networks of Bifurcating Recursive Processing Elements - Quantitative Methods for Architecture Design and Performance Analysis.	IWANN (1)	2001	DBLP DOI BibTeX RDF	design of neural architectures, parametric recursive processing elements, bifurcation and chaos, associative memories, chaotic neural networks, non-linear dynamics
32	Manish Gupta, Sayak Mukhopadhyay, Navin Sinha	Automatic Parallelization of Recursive Procedures.	IEEE PACT	1999	DBLP DOI BibTeX RDF	parallelizing compilers, automatic parallelization, divide and conquer, interprocedural analysis, symbolic analysis, recursive procedures
32	Wen-Jing Hsu, Moon-Jung Chung, Amitabha Das	Linear Recursive Networks and Their Applications in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Design and analysis of interconnection topologies, recursive networks, self-similar networks, hypercube, routing algorithms, Fibonacci cube
32	Jaekyu Ha, Robert M. Haralick, Ihsin T. Phillips	Recursive X-Y cut using bounding boxes of connected components.	ICDAR	1995	DBLP DOI BibTeX RDF	recursive X-Y cut, top-down page segmentation technique, rectangular blocks, Sparc-10 workstations, letter-sized document images, image segmentation, document image processing, connected components, document image, bounding boxes, image pixels
31	John Case, Samuel E. Moelius	Characterizing Programming Systems Allowing Program Self-Reference.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Computable operators, Programming systems, Recursive function theory, Recursive operators, Computability theory, Control structures, Self-reference, Recursion theorem, Numberings
31	Bingsheng He, Qiong Luo 0001	Cache-oblivious nested-loop joins.	CIKM	2006	DBLP DOI BibTeX RDF	nested-loop join, recursive clustering, buffering, cache-oblivious, recursive partitioning
31	Stefano Soatto, Pietro Perona	Motion from fixation.	CVPR	1996	DBLP DOI BibTeX RDF	rigid motion estimation, monocular perspective images sequences, implicit dynamical model, closed-form static solution, motion estimation, image sequences, epipolar geometry, feature point, recursive estimation, recursive estimator
31	Jean-Yves Bouguet, Pietro Perona	Visual Navigation Using a Single Camera.	ICCV	1995	DBLP DOI BibTeX RDF	monocular recursive motion estimation techniques, Essential filter, scale estimation, 8000 frame indoors sequence, sampling time frequency, necessary features, computer vision, navigation, motion estimation, image sequences, motion, accuracy, position, vehicles, visual navigation, recursive estimation, vehicle navigation, single camera
31	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic.	VL	1995	DBLP DOI BibTeX RDF	branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
30	Ana Bove, Venanzio Capretta	Computation by Prophecy.	TLCA	2007	DBLP DOI BibTeX RDF
30	Fuwan Ren, Qifan Yang, Jiexin Zheng, Hui Yan	Non-recursive Algorithm of Tower of Hanoi Problem.	CIT	2010	DBLP DOI BibTeX RDF	non-recursive, optimization, time complexity, recursive, Tower of Hanoi
30	Lenore Blum, Mike Shub, Steve Smale	On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	universal machines, partial recursive functions, undecidable sets, foundational issues, NP completeness, numerical analysis, theory of computation, recursive functions, real numbers
29	Marta Burzanska, Krzysztof Stencel, Piotr Wisniewski 0001	Pushing Predicates into Recursive SQL Common Table Expressions.	ADBIS	2009	DBLP DOI BibTeX RDF
29	Ana Bove, Venanzio Capretta	A Type of Partial Recursive Functions.	TPHOLs	2008	DBLP DOI BibTeX RDF
29	Derek Dreyer	A type system for recursive modules.	ICFP	2007	DBLP DOI BibTeX RDF	type systems, recursion, abstract data types, modules
29	Garnett Carl Wilson, Malcolm I. Heywood	Learning recursive programs with cooperative coevolution of genetic code mapping and genotype.	GECCO	2007	DBLP DOI BibTeX RDF	recursion, redundant representation, cooperative coevolution, genetic code, genotype-phenotype mapping, developmental genetic programming
29	Ralf Küsters, Tomasz Truderung	On the Automatic Analysis of Recursive Security Protocols with XOR.	STACS	2007	DBLP DOI BibTeX RDF
29	Marat V. Burnashev, Ilya Dumer	Error Exponents for Recursive Decoding of Reed-Muller Codes on a Binary-Symmetric Channel.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
29	Lin Yuan, Hengming Zou	Fast Rollup on Recursive Hierarchy in OLAP.	Web Intelligence	2006	DBLP DOI BibTeX RDF
29	Pei Jung Chung, William J. J. Roberts, Johann F. Böhme	Recursive K-distribution parameter estimation.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
29	Pei Jung Chung, Johann F. Böhme	Recursive EM and SAGE-inspired algorithms with application to DOA estimation.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF