The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase WK-recursive (changed automatically) 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
25Sten Agerholm Non-primitive Recursive Function Definitions. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
25Hrant B. Marandjian General Form Recursive Equations I. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Rosana S. G. Lanzelotte, Patrick Valduriez, Mohamed Zaït Optimization of Object-Oriented Recursive Queries using Cost-Controlled Strategies. Search on Bibsonomy SIGMOD Conference The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Jia Liang Han Recursive Query Processing in Predicate-Goal Graph. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25R. Nigel Horspool Recursive Ascent-Descent Parsers. Search on Bibsonomy CC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Dietmar Seipel Decomposition of Linear Recursive Logic Programs. Search on Bibsonomy WG The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24Akitoshi Kawamura Differential recursion. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF differentially algebraic functions, real recursive functions, transcendentally transcendental functions, initial value problems, Analog computation
24Edmondo Trentin, Leonardo Rigutini A Maximum-Likelihood Connectionist Model for Unsupervised Learning over Graphical Domains. Search on Bibsonomy ICANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF unsupervised relational learning, recursive network, Density estimation
24Ralph Becket, Zoltan Somogyi DCGs + Memoing = Packrat Parsing but Is It Worth It? Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury
24Derek Dreyer, Andreas Rossberg Mixin' up the ML module system. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules
24Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi Write it recursively: a generic framework for optimal path queries. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF finite state automaton, optimal path query, program transformation, recursive function
24Plamen P. Angelov, Costas S. Xydeas Fuzzy systems design: direct and indirect approaches. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fuzzy models design, Takagi-Sugeno and Mamdani fuzzy models, On-line clustering, Recursive least squares estimation, Genetic algorithms
24Frédéric Gervais, Marc Frappier, Régine Laleau Synthesizing B Specifications from EB3 Attribute Definitions. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
24Boris Igelnik, Yaakov Kogan, Vladimir Kriman, Debasis Mitra 0001 A new computational approach for stochastic fluid models of multiplexers with heterogeneous sources. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF buffer overflow probability, two-dimensional interpolating polynomials, Fluid models, ATM multiplexing, recursive computation
23Harmen L. A. van der Spek, C. W. Mattias Holm, Harry A. G. Wijshoff How to unleash array optimizations on code using recursive data structures. Search on Bibsonomy ICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF control flow optimization, pointer optimization, recursive data structures, restructuring compilers
23Han-Fu Chen Recursive identification for EIV ARMAX systems. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multivariate ARMAX, convergence, recursive identification, errors-in-variables
23Alejandro Chinea Manrique De Lara Understanding the Principles of Recursive Neural Networks: A Generative Approach to Tackle Model Complexity. Search on Bibsonomy ICANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generative principles, machine learning, Recursive neural networks, structural patterns
23Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala Time Recursive Petri Nets. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF recursive Petri net, threads, recursivity, time Petri net
23Weiwei Sun 0008, Yongrui Qin, Ping Yu 0001, Zhuoyao Zhang, Zhenying He HFilter: Hybrid Finite Automaton Based Stream Filtering for Deep and Recursive XML Data. Search on Bibsonomy DEXA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML stream filtering, deep and recursive XML data, hybrid finite automaton, data prefix sharing, memory overflow control
23Mostafa Rezazad, Mohammad Reza Hoseiny Farahabady, Hamid Sarbazi-Azad A Deadlock Free Shortest Path Routing Algorithm for WK-Recursive Meshes. Search on Bibsonomy ICDCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF WK-recursive, shortest path routing, Deadlock Free Routing Algorithm
23Mohd Saberi Mohamad, Sigeru Omatu 0001, Safaai Deris, Michifumi Yoshioka A Recursive Genetic Algorithm to Automatically Select Genes for Cancer Classification. Search on Bibsonomy IWPACBB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Recursive Genetic Algorithm, Genetic Algorithm, Support Vector Machine, Gene Selection, Microarray Data, Cancer Classification
23Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. Search on Bibsonomy WS-FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic
23Khamron Sunat, Chidchanok Lursinsap, Chee-Hung Henry Chu The p-recursive piecewise polynomial sigmoid generators and first-order algorithms for multilayer tanh-like neurons. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF p-Recursive piecewise polynomial, Rprop algorithm, Anti-Hebbian rule, Sigmoidal function, Backpropagation, Classification problem, Multilayer neural networks
23Chi-Sing Leung, Ah Chung Tsoi Combined learning and pruning for recurrent radial basis function networks based on recursive least square algorithms. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Recurrent radial basis function, Recursive least square method, Pruning method
23Jianlin Cheng, Michael J. Sweredoski, Pierre Baldi DOMpro: Protein Domain Prediction Using Profiles, Secondary Structure, Relative Solvent Accessibility, and Recursive Neural Networks. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF domain, protein structure prediction, recursive neural networks
23Kevin I. Hynna, Mauri Kaipainen Activation-Based Recursive Self-Organising Maps: A General Formulation and Empirical Results. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF representing context, sequential order, self-organizing maps, recurrent neural networks, recursive algorithms
23Pavel Naumov On Modal Logics of Partial Recursive Functions. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modal logic, recursive function, Curry-Howard isomorphism
23Joachim Lambek, Philip J. Scott An Exactification of the Monoid of Primitive Recursive Functions. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF primitive recursive function, regular and exact category, idempotent splitting completion, relation calculus, pers
23Selwyn Russell Theory and benefits of recursive certificate structures. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Recursive certificate, Minimal set, Surplus set, Deficient set, Public key infrastructure, X.509
23Nadji Gauthier, François Pottier Numbering matters: first-order canonical forms for second-order recursive types. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF polymorphism, unification, equality, recursive types
23Manfred Tasche, Hansmartin Zeuner Roundoff Error Analysis of the Recursive Moving Window Discrete Fourier Transform. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF roundoff error analysis, worst case study, average case study, recursive moving window DFT, discrete windowed Fourier transform, fast Fourier transform
23Dominic Duggan Type-Safe linking with recursive DLLs and shared libraries. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Module Interconnection Languages, Dynamic Linking, Shared Libraries, Recursive Modules
23Ahmad H. Nasri, Malcolm A. Sabin Taxonomy of interpolation constraints on recursive subdivision curves. Search on Bibsonomy Vis. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Interpolation constraints, End control, target directions, Bézier, points, B-spline curves, Recursive subdivision
23Alessandro Vullo, Paolo Frasconi A Bi-Recursive Neural Network Architecture for the Prediction of Protein Coarse Contact Maps. Search on Bibsonomy CSB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Protein contact maps, machine learning, recursive neural networks
23Rafael C. Carrasco, Mikel L. Forcada Simple Strategies to Encode Tree Automata in Sigmoid Recursive Neural Networks. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF analog neural networks, Tree automata, neural computation, recursive neural networks
23Mario Coppo Type Inference with Recursive Type Equations. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF type assignment, Recursive types
23Yuzhong Sun, Paul Y. S. Cheung, Xiaola Lin Recursive Cube of Rings: A New Topology for Interconnection Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Scalable computer systems, recursive cube of rings (RCR), plane property, embedding, message routing
23Gang Huang, Dimitris N. Metaxas, Janzen Lo LaTex Human Motion Planning Based on Recursive Dynamics and Optimal Control Techniques. Search on Bibsonomy Computer Graphics International The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Recursive Dynamics, 3D Computer Simulation, Computer Graphics, Optimal Control
23Zen Chen, I-Pin Chen Recursive Conversion of Chain Code into Quadtree with Table Lookup. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Recursive conversion, Quadtree, Table lookup, Chain Code
23Michael Marz An Algebraic View on Recursive Types. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF positive types, strong normalisation, calculus, recursive types, universal algebra
23Zhiyong Li 0002, John H. Reif, Sandeep K. S. Gupta Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF block recursive algorithm, fast Fourier transform, Parallel I/O, data distribution, program synthesis, tensor product
23Tom Chau, Andrew K. C. Wong Pattern Discovery by Residual Analysis and Recursive Partitioning. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF events, Pattern discovery, contingency tables, recursive partitioning, residual analysis
23João Marques-Silva 0001, Thomas Glass Combinational Equivalence Checking Using Satisfiability and Recursive Learning. Search on Bibsonomy DATE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Boolean Satisfiability, Recursive Learning, Combinational Equivalence Checking
23Janzen Lo, Dimitris N. Metaxas Recursive Dynamics and Optimal Control Techniques for Human Motion Planning. Search on Bibsonomy CA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF recursive dynamics, simulation, animations, virtual environments, motion planning
23Masaru Takesue Psi-Cubes: Recursive Bused Fat-Hypercubes for Multilevel Snoopy Caches. Search on Bibsonomy ISPAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Bused networks, recursive networks, trees of buses, multilevel caches, coherence directories, clustering, Hamming codes
23Albert Cohen 0001, Jean-Francois Collard Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions. Search on Bibsonomy IEEE PACT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Reaching Definition Analysis, Push-down Transducers, Context-free Languages, Recursive Programs
23Olivier Déforges, Nicolas Normand Recursive Morphological Operators for Gray Image Processing. Application in Granulometry Analysis. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF gray scale morphology, structuring element decomposition, recursive erosion, multiscale morphologic decomposition
23Wanlin Cao, Dhiraj K. Pradhan Sequential redundancy identification using recursive learning. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF ISCAS benchmarks, c-cycle redundancies, c-cycle redundant faults, redundancy identification algorithm, sequential redundancy identification, state transition information, uncontrollability analysis, logic CAD, FIRES, untestable faults, recursive learning
23Issei Numata, Susumu Horiguchi Efficient reconfiguration scheme for mesh-connected network: the recursive shift approach. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF mesh-connected network, recursive shift, faulty processing elements, mesh arrays, redundant processing elements, fault tolerance, parallel architectures, fault tolerant computing, multiprocessor interconnection networks, reconfigurable architectures, massively parallel system, reconfiguration scheme
23Ali Azarbayejani, Alex Pentland Recursive Estimation of Motion, Structure, and Focal Length. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF 3D modeling, Structure from motion, camera calibration, camera model, recursive estimation, 3D representation
23Mitrajit Chatterjee, Dhiraj K. Pradhan, Wolfgang Kunz LOT: logic optimization with testability-new transformations using recursive learning. Search on Bibsonomy ICCAD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF EX-OR gates, logic optimization with testability, multi-level logic circuits, tstfx, logic design, combinational circuits, logic CAD, gate level, random-pattern testability, recursive learning
23Louis Monier, Ramsey W. Haddad, Jeremy Dion Recursive layout generation. Search on Bibsonomy ARVLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF BiCMOS digital integrated circuits, recursive layout generation, layout directives, netlist description, hand-drawn layout, synthesized layout, overall layout, dense VLSI, VLSI, logic CAD, circuit layout CAD, microprocessor chips, microprocessor chips, VLSI chips, seamless integration
23Su S. Chen, Robert M. Haralick, Ihsin T. Phillips Simultaneous word segmentation from document images using recursive morphological closing transform. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF simultaneous word segmentation, recursive morphological closing transform, document image population, layout ground-truthed document images, optimal algorithm parameter settings, image segmentation, protocols, protocol, mathematical morphology, document image processing, visual databases, document images
23Donglai Dai, Sandeep K. S. Gupta, S. D. Kaushik, J. H. Lu, Raj Verdhan Singh, Chua-Huang Huang, P. Sadayappan, Rodney W. Johnson EXTENT: a portable programming environment for designing and implementing high-performance block recursive algorithms. Search on Bibsonomy SC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF block recursive algorithm, parallel program synthesis, tensor (Kronecker) product, parallel programming environment
23S. G. Foss On the ergodicity conditions for stochastically recursive sequences. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF metrical transitivity, stochastically recursive sequence, ergodicity, Stationarity
23Wim H. Hesselink, Ronald Reinds Temporal Preconditions of Recursive Procedures. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
23Serge Nicolle, Pascal Legrand, Jean-Pierre Dérutin Managing the Recursive Generation of Tasks in a Transputer Network. Search on Bibsonomy EDMCC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Processors Farm, Parallel architectures, Transputers, Recursive algorithms
23Laurie J. Hendren, Alexandru Nicolau Parallelizing Programs with Recursive Data Structures. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF disambiguation techniques, interference analysis tools, parallelization techniques, dynamically updatable trees, regular-expression-like representation, accessible nodes, parallel programming, data structures, directed graphs, interference, program compilers, trees (mathematics), directed acyclic graphs, parallelizing compilers, automatic parallelization, dynamic data structures, parallel programming languages, recursive data structures, imperative programs, imperative language
22Arthur Charlesworth The undecidability of associativity and commutativity analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
22Peter Kauff, Klaas Schüür Fast motion estimation for real-time shape-adaptive MPEG-4 encoding. Search on Bibsonomy ACM Multimedia Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF pixel-recursive matching, recursive block matching, shape-adaptive coding, motion estimation, MPEG-4
22F. Thomas Bruss, Michael Drmota, Guy Louchard The Complete Solution of the Competitive Rank Selection Problem. Search on Bibsonomy Algorithmica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Competitive secretary problem, No-information case, Relative ranks, Recursive sequences, Convergence of recursive solutions, Discrepancy problems, Nash equilibrium, Algorithm analysis, Minimax optimal
22Michael E. Saks, Shiyu Zhou RSPACE(S) \subseteq DSPACE(S3/2). Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF RSPACE(S), DSPACE(S/sup 3/2/), two-sided error, one-sided error algorithms, recursive matrix powering, two-sided error algorithms, natural recursive algorithm, probability, randomized algorithm, formal languages, deterministic algorithms, deterministic algorithm, pseudorandom generator, randomised algorithms, space bounded computation
22Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen An efficient database transitive closure algorithm. Search on Bibsonomy Appl. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF recursive rules, recursive query processing, transitive closure queries, Knowledge bases, deductive databases
21Rafael Asenjo, Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Adrian Tineo, Emilio L. Zapata Parallelizing irregular C codes assisted by interprocedural shape analysis. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Keiichirou Kusakari, Masahiko Sakai Enhancing dependency pair method using strong computability in simply-typed term rewriting. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Simply-typed term rewriting system, Plain function- passing, Strong computability, Termination, Dependency pair
21Ian Douglas Sanders, Vashti C. Galpin Students' mental models of recursion at wits. Search on Bibsonomy ITiCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF recursion, mental models
21Yoshitatsu Matsuda, Kazunori Yamaguchi Extraction of Approximate Independent Components from Large Natural Scenes. Search on Bibsonomy ICONIP (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Francisco A. Cubillos, Gonzalo Acuña Simulation Studies of On-Line Identification of Complex Processes with Neural Networks. Search on Bibsonomy ISNN (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Mihalis Yannakakis Recursion and Probability. Search on Bibsonomy IFIP TCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Monica Bianchini, Marco Gori, Lorenzo Sarti, Franco Scarselli BackPropagation through Cyclic Structures. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Litong Song, Yoshihiko Futamura A New Termination Approach for Specialization. Search on Bibsonomy SAIG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Kevin Warwick, Yong Ho Kang, Richard J. Mitchell 0001 Genetic least squares for system identification. Search on Bibsonomy Soft Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
21Kai Frederick Wehmeier Fragments of HAHA based on S1\Sigma_1-induction. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21Ashish Gupta 0001, Inderpal Singh Mumick Magic-sets Transformation in Nonrecursive Systems. Search on Bibsonomy PODS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF SQL, Datalog
21Manuel Rubio-Sánchez Tail recursive programming by applying generalization. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF nested recursion, formal methods, generalization, recursion, design of algorithms, tail recursion
21Yue Shang, Xiang-Gen Xia 0001 On fast recursive algorithms for V-BLAST with optimal ordered SIC detection. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Wai Ho Mow Recursive Constructions of Detecting Matrices for Multiuser Coding: A Unifying Approach. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Jen-Tzung Chien, Jung-Chun Chen Recursive Bayesian Linear Regression for Adaptive Classification. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl Realizability of Concurrent Recursive Programs. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Hywel R. Dunn-Davies, Jim Cunningham Verifying realizability and reachability in recursive interaction protocol specifications. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF propositional statecharts, verification, interaction protocols
21Suboh A. Suboh, Mohamed Bakhouya, Tarek A. El-Ghazawi Simulation and Evaluation of On-Chip Interconnect Architectures: 2D Mesh, Spidergon, and WK-Recursive Network. Search on Bibsonomy NOCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF System on Chip, Network on Chip, Modeling and simulation, On Chip Interconnects
21Shinichi Yamagiwa, Koichi Wada 0002, Leonel Sousa Heuristic Optimization Methods for Improving Performance of Recursive General Purpose Applications on GPUs. Search on Bibsonomy ISPDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Daniel Kubus, Torsten Kröger, Friedrich M. Wahl On-line estimation of inertial parameters using a recursive total least-squares approach. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Teahyung Lee, David V. Anderson A spatially recursive optical flow estimation framework using adaptive filtering. Search on Bibsonomy ICASSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Feng-Tsun Chien, C.-C. Jay Kuo Blind Recursive Tracking of Carrier Frequency Offset (CFO) Vector in MC-CDMA Systems. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Jean-Pierre Jouannaud, Albert Rubio Polymorphic higher-order recursive path orderings. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
21Ethan Robert Duni, Bhaskar D. Rao High-Rate Optimized Recursive Vector Quantization Structures Using Hidden Markov Models. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Amit Banerjee, Sushil J. Louis A recursive clustering methodology using a genetic algorithm. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Won-Taek Lim, Mithuna Thottethodi Evaluating ISA Support and Hardware Support for Recursive Data Layouts. Search on Bibsonomy HiPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21D. Huang, Cheng Xiang 0001 Recursive Bayesian Linear Discriminant for Classification. Search on Bibsonomy ISNN (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Ming-Chan You, Cheng-Yi Mao, Jeen-Shing Wang, Fang-Chen Chuang A Recursive Parametric Spectral Subtraction Algorithm for Speech Enhancement. Search on Bibsonomy ICIC (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF subtractive-type algorithms, human auditory system, masking threshold, Speech enhancement
21Jiyong Zhang, Pearl Pu A recursive prediction algorithm for collaborative filtering recommender systems. Search on Bibsonomy RecSys The full citation details ... 2007 DBLP  DOI  BibTeX  RDF recommendation accuracy, recommender systems, collaborative filtering, prediction algorithm
21Michael Hosemann, Gerhard P. Fettweis On Enhancing SIMD-controlled DSPs for Performing Recursive Filtering. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Yingxu Wang On the Big-R Notation for Describing Iterative and Recursive Behaviors. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Robert Granat, Isak Jonsson, Bo Kågström Recursive Blocked Algorithms for Solving Periodic Triangular Sylvester-Type Matrix Equations. Search on Bibsonomy PARA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Sylvester-type matrix equations, periodic matrix equations, recursion, blocking, superscalar, level 3 BLAS
21Peiyi Tang Complete inlining of recursive calls: beyond tail-recursion elimination. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF complete inlining, full control flow graph, procedure inlining, tail-recursion elimination, call graph
21Nina Bohr, Lars Birkedal Relational Reasoning for Recursive Types and References. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21George Ferizis, Hossam A. ElGindy Mapping Recursive Functions to Reconfigurable Hardware. Search on Bibsonomy FPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Juha Yli-Kaakinen, Tapio Saramäki Approximately linear-phase recursive digital filters with variable magnitude characteristics. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #300 of 14868 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][>>]
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