The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for recursive with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1947-1960 (18) 1961-1963 (16) 1964-1966 (24) 1967-1968 (28) 1969 (19) 1970-1971 (27) 1972 (16) 1973 (29) 1974 (24) 1975 (33) 1976 (44) 1977 (55) 1978 (47) 1979 (62) 1980 (57) 1981 (49) 1982 (60) 1983 (54) 1984 (59) 1985 (88) 1986 (121) 1987 (110) 1988 (139) 1989 (133) 1990 (190) 1991 (178) 1992 (204) 1993 (203) 1994 (254) 1995 (260) 1996 (239) 1997 (243) 1998 (273) 1999 (328) 2000 (353) 2001 (360) 2002 (380) 2003 (440) 2004 (523) 2005 (586) 2006 (696) 2007 (640) 2008 (701) 2009 (581) 2010 (339) 2011 (308) 2012 (313) 2013 (322) 2014 (361) 2015 (336) 2016 (429) 2017 (409) 2018 (432) 2019 (482) 2020 (530) 2021 (505) 2022 (518) 2023 (531) 2024 (109)
Publication types (Num. hits)
article(6922) book(11) data(2) incollection(49) inproceedings(7796) phdthesis(88)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5246 occurrences of 2867 keywords

Results
Found 14868 publication records. Showing 14868 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
89Anton Setzer Partial Recursive Functions in Martin-Löf Type Theory. Search on Bibsonomy CiE The full citation details ... 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
65Daniel Troy, Clement T. Yu, Weining Zhang Linearization of Nonlinear Recursive Rules. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF nonlinear recursive rules, nonlinear recursive logic query, doubly recursive rule, type, linearization, equivalent, recursive functions, necessary and sufficient condition
58Yanhong A. Liu Dependence Analysis for Recursive Data. Search on Bibsonomy ICCL The full citation details ... 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
55John Gill, Manuel Blum 0001 On Almost Everywhere Complex Recursive Functions. Search on Bibsonomy J. ACM The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
51Ming-Yang Su, Gen-Huey Chen, Dyi-Rong Duh A Shortest-Path Routing Algorithm for Incomplete WK-Recursive Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF incomplete WK-recursive network, multistage graph representation, shortest-path routing algorithm, routing, Graph-theoretic interconnection network, WK-recursive network
50Deepak Kapur, Nikita A. Sakhanenko Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Angel Dominguez, Nghi Nguyen, Rajeev Barua Recursive function data allocation to scratch-pad memory. Search on Bibsonomy CASES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF profile dependance, embedded systems, compiler, memory allocation, recursive functions, scratch-pad memory
46Jeffrey F. Naughton Minimizing function-free recursive inference rules. Search on Bibsonomy J. ACM The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
45Peter Dybjer, Anton Setzer Indexed Induction-Recursion. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 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
43Ming-Yang Su, Gen-Huey Chen, Dyi-Rong Duh Broadcasting on Incomplete WK-Recursive Networks. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF incomplete WK-recursive networks, broadcasting algorithms, graph-theoretic interconnection network, WK-recursive networks
43Rakesh Agrawal 0001 Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
42Fan Li, Yiming Yang Using recursive classification to discover predictive features. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF machine learning, feature selection, text categorization
42Siddhartha Chatterjee, Alvin R. Lebeck, Praveen K. Patnala, Mithuna Thottethodi Recursive Array Layouts and Fast Matrix Multiplication. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF matrix multiplication, Data layout
42David Harel Towards a Theory of Recursive Structures. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42David Harel Towards a theory of Recursive Structures. Search on Bibsonomy Computer Science Today The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
42Wolfgang Kunz, Dhiraj K. Pradhan Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
40Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring Generic programming with fixed points for mutually recursive datatypes. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mutually recursive datatypes, haskell, fixed points, datatype-generic programming
40Yi-Dong Shen Reasoning with recursive loops under the PLP framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks
40Man Wong, Tuen Mun Evolving Recursive Programs by Using Adaptive Grammar Based Genetic Programming. Search on Bibsonomy Genet. Program. Evolvable Mach. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF grammar based genetic programming, recursive programs, logic grammars
40Krassimir Georgiev, Jerzy Wasniewski Recursive Version of LU Decomposition. Search on Bibsonomy NAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF LU factorization AMS Subject Classifications: 65F05, FORTRAN 90, recursive algorithms, numerical linear algebra, 65Y10
40Ming-Yang Su, Gen-Huey Chen, Dyi-Rong Duh A linear-time algorithm for computing the diameters of the incomplete WK-recursive networks. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multistage graphs, prune-and-search technique, interconnection network, multiprocessor system, multistage interconnection networks, linear-time algorithm, WK-recursive networks
39Fred G. Gustavson, Isak Jonsson High Performance Cholesky Factorization via Blocking and Recursion That Uses Minimal Storage. Search on Bibsonomy PARA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF packed format, level 3 BLAS parallelism, recursive algorithm, Cholesky factorization, recursive data structure
38Alessandro Armando, Alan Smaill, Ian Green Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm
38John Shunen Shieh Recursive morphological sieve method for searching pictorial point symbols on maps. Search on Bibsonomy ICDAR The full citation details ... 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
38Yamin Li, Shietung Peng, Wanming Chu Recursive Dual-Net: A New Universal Network for Supercomputers of the Next Generation. Search on Bibsonomy ICA3PP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Ahmad Ghazal, Alain Crolotte, Dawit Yimam Seid Recursive SQL Query Optimization with k-Iteration Lookahead. Search on Bibsonomy DEXA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Tomasz Pieciukiewicz, Krzysztof Stencel, Kazimierz Subieta Usable Recursive Queries. Search on Bibsonomy ADBIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Eiju Hirowatari, Setsuo Arikawa A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions. Search on Bibsonomy ALT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Su S. Chen, Robert M. Haralick Recursive erosion, dilation, opening, and closing transforms. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Rajasekar Krishnamurthy, Venkatesan T. Chakaravarthy, Raghav Kaushik, Jeffrey F. Naughton Recursive XML Schemas, Recursive XML Queries, and Relational Storage: XML-to-SQL Query Translation. Search on Bibsonomy ICDE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37George H. Roberts From Recursive Ascent to Recursive Descent: Via Compiler Optimizations. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37Weining Zhang, Clement T. Yu A Necessary Condition for a Doubly Recursive Rule to be Equivalent to a Linear Recursive Rule. Search on Bibsonomy SIGMOD Conference The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
37Julio Martín-Herrero Hybrid object labelling in digital images. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Object labelling, Recursive labelling, Connected components
37Derek Dreyer A type system for well-founded recursion. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF yype systems, recursion, effect systems, recursive modules
36Yun Sun, Zhoujun Li 0001, Deqiang Wang Hamiltonian Property on Binary Recursive Networks. Search on Bibsonomy FAW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF binary recursive networks, interconnection network, hypercube, Hamiltonian cycle
36Yun Sun, Zhoujun Li 0001, Deqiang Wang Hamiltonicity and Pancyclicity of Binary Recursive Networks. Search on Bibsonomy ISPA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Binary recursive networks, Interconnection network, Hypercube, Hamiltonian cycle, Pancyclicity
36Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis Analysis of recursive state machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
36Derek Dreyer Recursive type generativity. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF generativity, type systems, recursion, abstract data types, effect systems, recursive modules
36Dario Colazzo, Giorgio Ghelli Subtyping Recursive Types in Kernel Fun. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF type theory and type systems, kernel Fun, subtyping, recursive types
36Daniel A. Keim, Mihael Ankerst, Hans-Peter Kriegel Recursive Pattern: A Technique for Visualizing Very Large Amounts of Data. Search on Bibsonomy IEEE Visualization The full citation details ... 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
35Petr Somol, Pavel Pudil, Jirí Grim Branch & Bound Algorithm with Partial Prediction for Use with Recursive and Non-recursive Criterion Forms. Search on Bibsonomy ICAPR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF subset search, recursive criteria, feature selection, search tree, subset selection, optimal search
34Antonio Corral, Michael Vassilakopoulos, Yannis Manolopoulos The Impact of Buffering on Closest Pairs Queries Using R-Trees. Search on Bibsonomy ADBIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34John P. Kaufhold, Michael K. Schneider, William Clement Karl, Alan S. Willsky A Recursive Estimation Approach to the Segmentation of MR Imagery. Search on Bibsonomy ICIP (2) The full citation details ... 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
34John 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. Search on Bibsonomy ICCV The full citation details ... 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
34Eric L. Miller 0001 A scale-recursive, statistically-based method for anomaly characterization in images based upon observations of scattered radiation. Search on Bibsonomy ICIP The full citation details ... 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
34Ralph Sucher A recursive nonlinear filter for removal of impulse noise. Search on Bibsonomy ICIP The full citation details ... 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
34John C. McEachen II, Arye Nehorai, James S. Duncan Estimating cardiac motion from image sequences using recursive comb filtering. Search on Bibsonomy ICIP The full citation details ... 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
34Joseph C. Jacob, Soo-Young Lee A Spanning Tree Based Recursive Refinement Algorithm for Fast Task Mapping. Search on Bibsonomy HPDC The full citation details ... 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
34Michael Unser, Akram Aldroubi, Murray Eden Recursive Regularization Filters: Design, Properties, and Applications. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
33Lin Gao 0002, Lian Li 0002, Jingling Xue, Tin-Fook Ngai Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction. Search on Bibsonomy CC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Yuan-Hau Yang, Ju-Hong Lee Design Of 2-D Recursive Digital Filters Using Nonsymmetric Half-Plane Allpass Filters. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Zhoujun Li, Yun Sun, Deqiang Wang Diameter bounds of cubelike recursive networks. Search on Bibsonomy ICPADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Mingzhu Wei, Ming Li 0008, Elke A. Rundensteiner, Murali Mani Processing Recursive XQuery over XML Streams: The Raindrop Approach. Search on Bibsonomy ICDE Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Eiju Hirowatari, Kouichi Hirata, Tetsuhiro Miyahara Prediction of Recursive Real-Valued Functions from Finite Examples. Search on Bibsonomy JSAI Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Che-Hong Chen, Bin-Da Liu, Jar-Ferr Yang Condensed recursive structures for computing multi-dimensional DCT with arbitrary length. Search on Bibsonomy ISCAS (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Ben Appleton, Hugues Talbot Efficient and Consistent Recursive Filtering of Images with Reflective Extension. Search on Bibsonomy Scale-Space The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Che-Hong Chen, Bin-Da Liu, Jar-Ferr Yang Direct recursive structures for computing radix-r two-dimensional DCT. Search on Bibsonomy ISCAS (4) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Zümray Dokur, Tamer Ölmez Recursive Form of the Discrete Fourier Transform for Two-Dimensional Signals. Search on Bibsonomy IDEAL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Elena Couselo, Santos González, Viktor T. Markov, Alexander A. Nechaev Recursive MDS-Codes and Pseudogeometries. Search on Bibsonomy AAECC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Ute Schmid, Fritz Wysotzki Induction of Recursive Program Schemes. Search on Bibsonomy ECML The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Inductive Program Synthesis, Planning and Learning, Cognitive Modelling, Analogy
33Olivier Danvy, Ulrik Pagh Schultz Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33Ke Wang Some Positive Results for Boundedness of Multiple Recursive Rules. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33David Harel Towards a Theory of Recursive Structures. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Latha S. Colby A Recursive Algebra and Query Optimization for Nested Relations. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
33Johann Eder Extending SQL with General Transitive Closure and Extreme Value Selections. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
32Yannis Manolopoulos On the number of recursive calls of recursive functions. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF binomial coefficient, mergesort, number of calls, recursion, fibonacci numbers
32Pietro Di Gianantonio, Marino Miculan A Unifying Approach to Recursive and Co-recursive Definitions. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki Inductive Synthesis of Functional Programs. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding
32Kousha Etessami, Mihalis Yannakakis Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Recursive Markov chains, monotone nonlinear systems, multi-type branching processes, Newton's method, stochastic context-free grammars
32Zhong Tang, Daifa Liao Research of Current Control Strategy of Hybrid Active Power Filter Based on Fuzzy Recursive Integral PI Control Algorithm. Search on Bibsonomy AICI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hybrid active power filter, Recursive integral PI, PSCAD/EMTDC, Fuzzy control
32Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato Analyzing recursive programs using a fixed-point calculus. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
32Daniel Leivant Propositional Dynamic Logic for Recursive Procedures. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
32Daniele Loiacono, Pier Luca Lanzi Recursive least squares and quadratic prediction in continuous multistep problems. Search on Bibsonomy GECCO (Companion) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multistep problems, learning classifier systems, recursive least squares
32Eunjung Han, Kirak Kim, HwangKyu Yang, Keechul Jung Frame Segmentation Used MLP-Based X-Y Recursive for Mobile Cartoon Content. Search on Bibsonomy HCI (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF X-Y recursive, frame segmentation, mobile cartoon contents, MLP
32Shujuan Jiang, Baowen Xu, Liang Shi An approach to analyzing recursive programs with exception handling constructs. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reliability, static analysis, programming language, exception handling, recursive function, exception propagation
32Yong 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. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF recursive feature elimination, machine learning, support vector machine, Feature selection
32Robert Granat, Isak Jonsson, Bo Kågström Combining Explicit, Recursive Blocking for Solving Triangular Sylvester-Type Matrix Equations on Distributed Memory Platforms. Search on Bibsonomy Euro-Par The full citation details ... 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
32Jung-Sheng Fu Hamiltonian-Connectedness of the WK-Recursive Network. Search on Bibsonomy ISPAN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF WK-recursive, interconnection network, embedding, Hamiltonian-connected
32Min-Hsuan Fan, Chua-Huang Huang, Yeh-Ching Chung A Programming Methodology for Designing Block Recursive Algorithms on Various Computer Networks. Search on Bibsonomy ICPP Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF block recursive algorithm, baseline network, parallel processing, hypercube network, omega network, tensor product, programming methodology, parallel prefix
32Emílio Del Moral Hernandez Studying Neural Networks of Bifurcating Recursive Processing Elements - Quantitative Methods for Architecture Design and Performance Analysis. Search on Bibsonomy IWANN (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF design of neural architectures, parametric recursive processing elements, bifurcation and chaos, associative memories, chaotic neural networks, non-linear dynamics
32Manish Gupta, Sayak Mukhopadhyay, Navin Sinha Automatic Parallelization of Recursive Procedures. Search on Bibsonomy IEEE PACT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF parallelizing compilers, automatic parallelization, divide and conquer, interprocedural analysis, symbolic analysis, recursive procedures
32Wen-Jing Hsu, Moon-Jung Chung, Amitabha Das Linear Recursive Networks and Their Applications in Distributed Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Design and analysis of interconnection topologies, recursive networks, self-similar networks, hypercube, routing algorithms, Fibonacci cube
32Jaekyu Ha, Robert M. Haralick, Ihsin T. Phillips Recursive X-Y cut using bounding boxes of connected components. Search on Bibsonomy ICDAR The full citation details ... 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
31John Case, Samuel E. Moelius Characterizing Programming Systems Allowing Program Self-Reference. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Computable operators, Programming systems, Recursive function theory, Recursive operators, Computability theory, Control structures, Self-reference, Recursion theorem, Numberings
31Bingsheng He, Qiong Luo 0001 Cache-oblivious nested-loop joins. Search on Bibsonomy CIKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF nested-loop join, recursive clustering, buffering, cache-oblivious, recursive partitioning
31Stefano Soatto, Pietro Perona Motion from fixation. Search on Bibsonomy CVPR The full citation details ... 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
31Jean-Yves Bouguet, Pietro Perona Visual Navigation Using a Single Camera. Search on Bibsonomy ICCV The full citation details ... 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
31Alberto Del Bimbo, Luigi Rella, Enrico Vicario Visual Specification of Branching Time Temporal Logic. Search on Bibsonomy VL The full citation details ... 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
30Ana Bove, Venanzio Capretta Computation by Prophecy. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Fuwan Ren, Qifan Yang, Jiexin Zheng, Hui Yan Non-recursive Algorithm of Tower of Hanoi Problem. Search on Bibsonomy CIT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF non-recursive, optimization, time complexity, recursive, Tower of Hanoi
30Lenore Blum, Mike Shub, Steve Smale On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 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
29Marta Burzanska, Krzysztof Stencel, Piotr Wisniewski 0001 Pushing Predicates into Recursive SQL Common Table Expressions. Search on Bibsonomy ADBIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Ana Bove, Venanzio Capretta A Type of Partial Recursive Functions. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Derek Dreyer A type system for recursive modules. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type systems, recursion, abstract data types, modules
29Garnett Carl Wilson, Malcolm I. Heywood Learning recursive programs with cooperative coevolution of genetic code mapping and genotype. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF recursion, redundant representation, cooperative coevolution, genetic code, genotype-phenotype mapping, developmental genetic programming
29Ralf Küsters, Tomasz Truderung On the Automatic Analysis of Recursive Security Protocols with XOR. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Marat V. Burnashev, Ilya Dumer Error Exponents for Recursive Decoding of Reed-Muller Codes on a Binary-Symmetric Channel. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Lin Yuan, Hengming Zou Fast Rollup on Recursive Hierarchy in OLAP. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Pei Jung Chung, William J. J. Roberts, Johann F. Böhme Recursive K-distribution parameter estimation. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Pei Jung Chung, Johann F. Böhme Recursive EM and SAGE-inspired algorithms with application to DOA estimation. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 14868 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license