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
15Jerome Vouillon, Paul-André Melliès Semantic types: a fresh look at the ideal model for types. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types
15Jau-Chuan Ke The Analysis of a General Input Queue with N Policy and Exponential Vacations. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF recursive method, supplementary variable, vacations, steady-state probability
15Lih-Yuan Deng, Hongquan Xu A system of high-dimensional, efficient, long-cycle and portable uniform random number generators. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF DX-k generator, FMRG-k generator, MT19937, multiple recursive generator, portable and efficient generator, primitive polynomial, linear congruential generator
15Yoav Zibin, Joseph Gil, Jeffrey Considine Efficient algorithms for isomorphisms of simple types. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature
15Ka-man Lam, Ho-fung Leung Rational communication in multi-agent semi-competitive environments. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF honesty, rational communication, recursive modeling, multi-agent systems, trust
15D. L. Yu, J. B. Gomm Enhanced Neural Network Modelling for a Real Multi-variable Chemical Process. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF MIMO chemical systems, Nonlinear system identification, Recursive Orthogonal Least Squares, Radial Basis Function Networks, Neural network modelling
15Yoko Kamidoi, Shin'ichi Wakabayashi, Noriyoshi Yoshida A Divide-and-Conquer Approach to the Minimum k-Way Cut Problem. Search on Bibsonomy Algorithmica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Minimum k -way cut, Maximum flow computation, Undirected weighted graph, Deterministic algorithm, Recursive structure
15Héctor Cancela 0001, María E. Urquhart Adapting RVR Simulation Techniques for Residual Connectedness Network. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF residual connectedness network reliability, recursive variance reduction, simulation, Monte Carlo methods
15Robert Pollack Dependently Typed Records in Type Theory. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble
15Ruofeng Tong 0001, Kazufumi Kaneda, Hideo Yamashita A volume-preserving approach for modeling and animating water flows generated by metaballs. Search on Bibsonomy Vis. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Graph theory, Interval analysis, Volume preserving, Recursive subdivision, Metaballs
15Ioannis P. Ivrissimtzis, Christian Rössl, Hans-Peter Seidel A Divide and Conquer Algorithm for Triangle Mesh Connectivity Encoding. Search on Bibsonomy PG The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Connectivity Encoding, Binary Trees, Recursive Algorithms
15P. Krishna Gummadi, Stefan Saroiu, Steven D. Gribble King: estimating latency between arbitrary internet end hosts. Search on Bibsonomy Internet Measurement Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF latency measurement tool, recursive DNS
15Hans L. Bodlaender, Babette van Antwerpen-de Fluiter Parallel Algorithms for Series Parallel Graphs and Graphs with Treewidth Two. Search on Bibsonomy Algorithmica The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Minimum k -way cut, Maximum flow computation, Undirected weighted graph, Deterministic algorithm, Recursive structure
15Sungwook Yu, Earl E. Swartzlander Jr. DCT Implementation with Distributed Arithmetic. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF recursive DCT algorithm, Discrete Cosine Transform, distributed arithmetic
15Tom Chau Marginal Maximum Entropy Partitioning Yields Asymptotically Consistent Probability Density Functions. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Marginal maximum entropy, asymptotic optimal classification, pattern discovery, recursive partitioning
15Johan Claes, Marc Ramaekers, Frank Van Reeth Providing Local Interpolation, Tension and Normal Control in the Manipulation of Loop Subdivision Surfaces. Search on Bibsonomy Computer Graphics International The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Loop subdivision, recursive subdivision surfaces, modeling, computer animation, surface design
15Yohji Akama Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity
15Hüuseyin Kutluca, Tahsin M. Kurç, Cevdet Aykanat Image-Space Decomposition Algorithms for Sort-First Parallel Volume Rendering of Unstructured Grids. Search on Bibsonomy J. Supercomput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF sort-first parallelism, image-space decomposition, chains-on-chains partitioning, jagged decomposition, rectilinear decomposition, orthogonal recursive bisection, Hilbert space-filling curve, graph partitioning, unstructured grids, direct volume rendering
15Marc Mosko, J. J. Garcia-Luna-Aceves An Analysis of Packet Loss Correlation in FEC-Enhanced Multicast Trees. Search on Bibsonomy ICNP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF packet loss correlation, FEC-enhanced multicast trees, group loss probabilities, forward error correction codes, state equations, recursive formulae, FEC group, shared loss tree, leaf nodes, transmission group, missing packets, nonuniform link loss, nonFEC trees, Internet, probability, error correction codes, packet switching, decoding, decoding, trees (mathematics), forward error correction, multicast communication, erasure codes, correlation methods, probability mass function, cumulative distribution function
15Joseph D. Touch Dynamic Internet Overlay Deployment and Management Using the X-Bone. Search on Bibsonomy ICNP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dynamic Internet overlay deployment, dynamic Internet overlay management, network component sharing, overlapping virtual networks, shared infrastructure, two-layer IP, IP tunneled overlays, unmodified routing, DNS services, unmodified operating systems, recursive overlays, dynamic relocation, secure deployment, secure overlays, X-Bone architecture, fault tolerance, Internet, transport protocols, network topology, network topology, resource discovery, telecommunication network routing, multicast communication, network operating systems, computer network management, IP networks, telecommunication security, network configuration, network resources, multicast services
15G. Butler, Christine Mingins YooccLa: A Parser Generator for L-Attributed Grammars. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF YooccLa, left-attributed grammars, object-oriented compiler compiler, nonleft-recursive LL grammar, EBNF-like language, Eiffel features, semantic actions, Eiffel Parse library, syntax class, software engineering, object-oriented programming, specification languages, object-oriented languages, software libraries, attribute grammars, compiler generators, parser generator
15Chi-Keung Luk, Todd C. Mowry Automatic Compiler-Inserted Prefetching for Pointer-Based Applications. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF pointer-based applications, performance evaluation, Caches, prefetching, compiler optimization, shared-memory multiprocessors, recursive data structures
15Yuanyuan Yang 0001, Jianchao Wang A New Self-Routing Multicast Network. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF binary radix sorting network, reverse banyan network, recursive construction, compact routing, self-routing, Multicast network
15Ahmad H. Nasri A four-sided approach for interpolating B-spline curves by subdivision surfaces. Search on Bibsonomy Vis. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF B-spline, Arbitrary topology, Recursive subdivision, Curve interpolation
15Anna Formica, Hans Dietmar Gröger, Michele Missikoff An Efficient Method for Checking Object-Oriented Database Schema Correctness. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF inheritance conflicts, inheritance process, object-oriented database schemas, databases, graph theory, recursive types
15Susumu Horiguchi, Issei Numata Self-Reconfiguration Scheme of 3D-Mesh Arrays. Search on Bibsonomy DFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF 3D-Mesh Arrays, the recursive shift scheme, 3D stacked implementation, massively parallel computers, Reconfiguration Scheme
15M. Braun, Martin Hahn 0001, Jens-Rainer Ohm, Maati Talmi Motion-Compensating Real-Time Format Converter for Video on Multimedia Displays. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF motion-compensating real-time format converter, multimedia displays, interlaced TV signals, progressive display formats, frame repetition rate, motion compensated filtering, candidate vector, temporal predecessors, spatial predecessors, DFD error criterion, optimal candidate, pixel recursive steps, fallback mode, single-chip integration, displayed field differences error criterion, motion estimation, motion estimation, video, median filter
15Bing Ma, Sridhar Lakshmanan, Alfred O. Hero III Detection of Curved Road Edges in Radar Images Via Deformable Templates. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF curved road edge detection, millimeter-wave radar images, random field likelihoods, adaptive MAP estimate, three-region indicator matrix, road geometry, quasi-quadratic matrix, log-normal likelihood, optimal road edges, deterministic recursive scheme, optimal indicator matrix, experimental results, Bayesian method, deformable templates, radar imaging, radar images, Metropolis algorithm, weighting scheme, nonlinear constraints
15A. Aydin Alatan, Ertem Tuncel, Levent Onural A Rule-Based Method for Object Segmentation in Video Sequences. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF rule-based method, region level, rule-based region processing unit, accumulated previous segmentation data, true boundaries, recursive-shortest-spanning-tree algorithm, RSST algorithm, hierarchical-block-matching, HBM, tracking, standardization, color, MPEG-4, MPEG-7, frame, information fusion, video sequences, image colour analysis, object segmentation, motion information
15Christian Mossin Higher-Order Value Flow Graphs. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
15Willem C. Mallon, Jan Tijmen Udding Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
15Vi Chi Chan, David Lewis Hierarchical partitioning for field-programmable systems. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF FPGA partitioning problems, circuit structures, field-programmable systems, partitioning tree, recursive bipartitioning algorithm, field programmable gate arrays, VLSI, quality, logic CAD, hierarchical partitioning
15Naushik Sankarayya, Kaushik Roy 0001, Debashis Bhattacharya Optimizing computations in a transposed direct form realization of floating-point LTI-FIR systems. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Differential Coefficients, Sorted Recursive Differences, low-power, filters, DSP, multiplication, FIR
15Nak-Keun Joo, Hyeong-Seok Lim A new interconnection network for parallel computer with low diameter. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF low diameter, graycube, dialation 2, hypercube embedding, routing, parallel computer, interconnection network, hypercube networks, broadcasting algorithms, recursive structure
15Elena Dubrova, Jon C. Muzio, Bernhard von Stengel Finding Composition Trees for Multiple-Valued Functions. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF composition trees, disjunctive decompositions, m-valued n-variable functions, test generation, multivalued logic, computation time, multiple-valued functions, recursive algorithm
15João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo Turing Universality of Neural Nets (Revisited). Search on Bibsonomy EUROCAST The full citation details ... 1997 DBLP  DOI  BibTeX  RDF recursive function theory, modularity, Neural computation
15Ronan Gaugne A Static Analysis for Program Understanding and Debugging. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
15Kathryn W. Lilly, A. S. Melligeri Dynamic simulation and neural network compliance control of an intelligent forging center. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF forging automation, compliance control, neural networks, dynamic simulation, finite element models, recursive algorithms, intelligent manufacturing
15Alan S. Morris, Seddik Khemaissia A neural network based adaptive robot controller. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF adaptive robot control, recursive prediction error, Neural networks
15Philip F. McLauchlan, David William Murray 0001 Active Camera Calibration for a Head-Eye Platform Using the Variable State-Dimension Filter. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Camera calibration, active vision, recursive filter, real-time vision
15C. Y. Chen, Chin-Chen Chang 0001, Richard C. T. Lee, D. C. Lin Optimal Linear Hashing Files for Orthogonal Range Retrieval. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF orthogonal range retrieval, performance expressions, optimal recursive linear hashing files, minimum marginal increase, information retrieval, data structures, database management systems, greedy method, partial match retrieval, MMI
15Ching-Long Su, Yin-Tsung Hwang Distributed arithmetic-based architectures for high speed IIR filter design. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF high speed IIR filter, pipelining techniques, SPDM technology, parallel processing, parallel architectures, digital arithmetic, recursion, recursive filters, Distributed Arithmetic, IIR filters, DSP applications
15Yuntao Cui, John (Juyang) Weng Hand sign recognition from intensity image sequences with complex backgrounds. Search on Bibsonomy FG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hand sign recognition, intensity image sequences, motion understanding, spatial recognition, hand shape, multiclass multidimensional discriminant analysis, gesture classification, recursive partition tree approximator, user interfaces, complex backgrounds, hand movement, hand segmentation
15Julio Villalba, J. C. Arrabal, Emilio L. Zapata, Elisardo Antelo, Javier D. Bruguera Radix-4 Vectoring Cordic Algorithm And Architectures. Search on Bibsonomy ASAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF radix-4 vectoring CORDIC algorithm, radix-4 vectoring CORDIC architectures, vectoring mode, microrotations, zero skipping technique, recursive architectures, matrix triangularization, rotation angle, computational complexity, complexity, parallel architectures, singular value decomposition, SVD, signal processing, digital arithmetic, digital arithmetic, matrix algebra, pipelined architectures
15Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang Omega - an integrated environment for C++ program maintenance. Search on Bibsonomy ICSM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C++ program maintenance, object-oriented software-specific techniques, class dependence, message dependence, declaration dependence, hierarchical C++ dependence graph construction algorithms, slicing techniques, class slicing, message slicing, constrained slicing, recursive slicing, variable slicing, condition slicing, programming environments, program slicing, regression testing, source code, integrated environment, Omega, ripple effect analysis, dependence relations
15Charles Wiles, Michael Brady 0001 Closing the Loop on Multiple Motions. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF road scene analysis, multiple moving objects, single nonsteerable camera, observed motions, independently moving objects, closed loop feature tracking, extended feature trajectories, image segmentation, motion estimation, cameras, scene segmentation, natural scenes, camera models, road vehicles, discriminating power, multiple motions, feature clusters, recursive computation
15Philip F. McLauchlan, David William Murray 0001 A Unifying Framework for Structure and Motion Recovery from Image Sequences. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF statistical framework, feature measurement errors, camera/scene motion, recursive version, sub optimal estimates, tracked features, feature type, projection equation, real-time systems, computational complexity, complexity, motion estimation, edge detection, image sequences, image sequences, real time implementation, unifying framework, optimal estimates, 3D structure, motion recovery, line features
15Steven M. Seitz, Charles R. Dyer Complete Scene Structure from Four Point Correspondences. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF complete scene structure, four point correspondences, 3D scene structure, reference features, affine camera model, reconstructible features, motion techniques, edge detection, image sequences, image reconstruction, completeness, programming theory, real images, recursive algorithm, natural scenes, unified framework, parallax, feature correspondence, structure recovery, line features
15Paul W. Fieguth, William W. Irving, Alan S. Willsky Multiresolution model development for overlapping trees via canonical correlation analysis. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF overlapping trees, multiscale stochastic models, Gaussian random processes, scale recursive dynamics, fast statistically optimal algorithm, tree nodes, estimation algorithm, optimal estimation results, error covariance information, statistics, image representation, trees (mathematics), error analysis, image resolution, Gaussian processes, random processes, estimation theory, multiresolution model, correlation methods, canonical correlation analysis, covariance analysis, multiscale representations, image pixel, image domain
15James C. Brailean, Aggelos K. Katsaggelos Noise robust spatial gradient estimation for use in displacement estimation. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF noise robust spatial gradient estimation, displacement estimation, spatial temporal gradient motion estimation algorithm, spatial gradients accuracy, magnitude response, derivative operator, frequency value, high-frequency noise terms, low-frequency features, corrupted differentiated image, spatiotemporal gradient motion estimator, estimated motion vector, recursive gradient estimator, motion estimation, image sequences, image sequence, noise, inverse problems, inverse problem, differentiation, differentiation, noise suppression
15Eric Sutton, Helen Na A new iterative algorithm for ionospheric tomography. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF ionospheric techniques, ionospheric electromagnetic wave propagation, radiowave propagation, ionospheric tomography, electron density, orthogonal decomposition algorithm, recursive correction method, RCM, ODA, algebraic reconstruction technique, image reconstruction, reconstruction, iterative methods, iterative algorithm, convergence of numerical methods, convergence analysis, geophysical signal processing, a priori information
15Phyllis Crandall, Michael J. Quinn Non-uniform 2-D grid partitioning for heterogeneous parallel architectures. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF nonuniform 2D grid partitioning, heterogeneous parallel architectures, uniform computational requirements, block decomposition method, Fair Binary Recursive Decomposition, performance level, performance evaluation, parallel architectures, decomposition technique
15Sabine R. Öhring, Maximilian Ibel, Sajal K. Das 0001, Mohan Kumar On generalized fat trees. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF generalized fat trees, multiprocesser interconnection networks, connection machine architecture, pruned butterflies, fat tree based architecture, inner nodes, leaf processors, recursive scalability, maximal fault-tolerance, logarithmic diameter bisection scalability, fault tolerant self-routing, reliability, parallel architectures, fault tolerant computing, broadcasting, hypercubes, multiprocessor interconnection networks, trees, meshes, communication complexity, symmetry, routers, network routing, switches, rings, pyramids, tori, CM-5
15Bogdan J. Falkowski, Susanto Rahardja Efficient Algorithm for the Generation of Fixed Polarity Quaternary Reed-Muller Expansions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fixed polarity quaternary Reed-Muller expansions, polarity coefficient matrices, quaternary switching functions, recursive square matrices, multiplication operations, fast flow diagram, matrix algebra, Galois fields, Galois field, switching functions, Reed-Muller codes
15Bogdan J. Falkowski, Susanto Rahardja Novel Quantized Transform for Ternary Systems. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF spectral-domain analysis, nonlinear quantized transform, sign transform, binary/ternary data conversion, ternary spectral domain, forward transforms, sign Haar domain, sign Walsh domain, recursive definitions, sign matrix, spectral coefficients generation, transforms, matrix algebra, data conversion, Walsh functions, computational costs, ternary logic, quantisation (signal), matrix operators, inverse transforms
15Nelson L. Passos, Edwin Hsing-Mean Sha, Liang-Fang Chao Multi-dimensional interleaving for time-and-memory design optimization. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multidimensional interleaving, time-and-memory design optimization, recursive time-critical sections, multi-dimensional problems, image processing, image processing, optimisation, application specific integrated circuits, application specific integrated circuits, circuit CAD, digital filters, digital filters, optimization technique, iteration space
15Tim Collins, James C. Browne MaTRiX++: an object-oriented environment for parallel high-performance matrix computations. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface
15D. W. Russell An expert project management assistant. Search on Bibsonomy ANNES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF expert project management assistant, multilayer project management, cohesive planning, embedded intelligence, lower order plan, redundant task dependencies, graphical user interfaces, GUI, graphical user interface, planning (artificial intelligence), expert systems, project management, explanation, explanation, help systems, recursive procedures, context-sensitive help
15Myoung-Young Yoon, Seong-Whan Lee, Ju-Sung Kim Faxed image restoration using Kalman filtering. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF faxed image restoration, salient noise, additive white noise, restoration algorithm, autoregressive Gauss-Markov random field, overlap effects, nonsymmetric half plane causality, character stroke thickening, coarse subsampling, noisy communication, Kalman filtering, image restoration, recursive procedure
15Anikó Simon, Jean-Christophe Pret, A. Peter Johnson (Chem)DeTE/X automatic generation of a markup language description of (chemical) documents from bitmap images. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF markup language description, bitmap images, style file, layout recognition, Kruskal's algorithm, physical page structure, chemical documents, recursive parsing algorithm, document style description language, DSDL, document processing, layout analysis, document handling, scientific publications, page description languages
15Ann Grbavec, Dorothea Blostein Mathematics recognition using graph rewriting. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF mathematics recognition, high-level recognition, mathematical notation, symbol recognizer, recursive subexpressions, global context, operator precedence, operator range, two-dimensional patterns manipulation, notational conventions, circuit diagrams, musical scores, pattern recognition, image recognition, rewriting systems, graph rewriting, diagram recognition
15Dusko Katic, Miomir Vukobratovic Contribution to the indirect decentralized adaptive control of manipulation robots. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF manipulation robots, Adaptive control, decentralized systems, recursive identification
15François Baccelli, Serguei Foss Ergodicity of Jackson-type queueing networks. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Ordered directed graph, Euler graphs, Euler ordered directed graph, switching sequence, open Jackson-type queueing network, Euler network, conservation rule, departure and throughput processes, first and second-order ergodic properties, subadditive ergodic theorem, solidarity property, stochastic recursive sequences, stationary solution, coupling-convergence, uniqueness of the stationary regime, composition, decomposition, point processes
15Antonia Bertolino, Martina Marré Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
15Hochong Park, Roland T. Chin Optimal Decomposition of Convex Morphological Structuring Elements for 4-Connected Parallel Array Processors. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF optimal decomposition, convex morphological structuring elements, 4-connected parallel array processors, recursive operation sequence, cost function minimization, parallel processing, optimisation, image reconstruction, mathematical morphology, array signal processing
15David Lubinsky Classification trees with bivariate splits. Search on Bibsonomy Appl. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF bivariate split types, Gini, Recursive partitioning, divide-and-conquer algorithms
15Yixin Zhu, Huan Li The MacLaurin expansion for a G/G/1 queue with Markov-modulated arrivals and services. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Markov-modulated arrivals and services, MacLaurin series, matrix recursive equation, waiting time, numerical algorithm, G/G/1 queue
15Giuseppe Iazeolla, Francesco Marinuzzi LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF LISPACK, list-manipulation parallel-modeling package, string manipulation, recursive elimination, large Markovian process, symbolic-approach methodology, performance evaluation, parallel algorithms, parallel algorithms, performance analysis, parallel processing, software tool, software tools, Markov processes, parallel systems, lumping
15Mohan Kumar, Lalit M. Patnaik Extended Hypercube: A Hierarchical Interconnection Network of Hypercubes. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF hierarchical interconnection network, extended hypercube, parallel algorithms, hypercube networks, message routing, interconnection topology, parallelalgorithms, recursive structure
15Kemal Efe The Crossed Cube Architecture for Parallel Computation. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF self routing network, crossed cube architecture, distributed routingalgorithm, high connectivity, SIMD algorithms, CQ/sub n/ architecture, dynamicreconfiguration, embedding properties, parallel algorithms, parallel computation, parallel architectures, regularity, symmetry, switches, multiprocessorinterconnection networks, massively parallel architectures, hypercube algorithms, recursive structure
15Wonyong Sung, Sanjit K. Mitra, Branko Jeren Multiprocessor Implementation of Digital Filtering Algorithms Using a Parallel Block Processing Method. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF recursive filtering algorithms, digital filtering algorithms, parallel block processing, digital signal processingalgorithms, precedence graph, dependencyrelation, adaptive filtering algorithms, parallel algorithms, interconnection network, multiprocessor interconnection networks, multiprocessor system, data dependency, filtering theory, digital filters, ring network, prediction theory, FIR, computerised signal processing, scheduling method
15Xian Cheng, Oliver C. Ibe Reliability of a Class of Multistage Interconnection Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF extra-stage interconnectionnetworks, fault-free path, input-output pair, networkreliability, broadcast reliability, recursive expression, lower bound, probability, multiprocessor interconnection networks, upper bound, multistage interconnection networks, tight bounds, reliability theory, terminal reliability
15Arun P. Tirumalai, Brian G. Schunck, Ramesh C. Jain Dynamic Stereo with Self-Calibration. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF disparity map refinement, camera motion recovery, incremental refinement, dynamic stereo sequence, binocular stereo vision system, robust least median of squares based algorithm, recursive disparity prediction, robust Kalman filter, motion estimation, mobile robot, mobile robots, image sequences, Kalman filters, calibration, filtering and prediction theory, stereo image processing, least squares approximations, self-calibration
15Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim Efficient Algorithms for the Instantiated Transitive Closure Queries. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF instantiated transitive closure queries, delta -wavefront, super-TC, disk page, processed TC query, performance evaluation, performance evaluation, query languages, database theory, database theory, generic algorithm, wavefront, recursive queries
15Janet Aisbett An Iterated Estimation of the Motion Parameters of a Rigid Body from Noisy Displacement Vectors. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF parameter set partitioning, recursive methods, iterated estimation, noisy displacement vectors, noisy point matches, robust parameter estimation, rotary component, interframe differences, independently distributed errors, conditional generalized least-squares formulas, pattern recognition, picture processing, parameter estimation, noise, iterative methods, minimization, minimisation, motion parameters, perspective views
15Michael Kifer, Eliezer L. Lozinskii On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF recursive rules, filtering, projection, selection, inference, deductive databases, dataflow, graph representation, fixpoint
15Yi-Tong Zhou, V. Venkateswar, Rama Chellappa Edge Detection and Linear Feature Extraction Using a 2-D Random Field Model. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF 2D random field model, 2D causal autoregressive model, pattern recognition, pattern recognition, picture processing, picture processing, edge detection, parameter estimation, parameter estimation, statistical analysis, edge detector, recursive least-squares algorithm, linear feature extraction, directional derivatives
15Corrado Böhm Subduing Self-Application. Search on Bibsonomy ICALP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF combinatory and lambda-algebras, typability, strong normalizability, recursor, permutator, iterator, Self-application, recursive schemes
15Matthew M. Geller Test Data as an Aid in Proving Program Correctness. Search on Bibsonomy POPL The full citation details ... 1976 DBLP  DOI  BibTeX  RDF Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs
13Matthias Heizmann, Jochen Hoenicke, Andreas Podelski Nested interpolants. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement
13Tamarisk Lurlyn Scholtz, Ian D. Sanders Mental models of recursion: investigating students' understanding of recursion. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF recursion, mental models
13Shaminda Subasingha, Manohar N. Murthi, Søren Vang Andersen Gaussian Mixture Kalman Predictive Coding of Line Spectral Frequencies. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Himanshu Gupta 0001, Xianjin Zhu, Xiang Xu Deductive Framework for Programming Sensor Networks. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Brian Huffman A Purely Definitional Universal Domain. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Venanzio Capretta, Tarmo Uustalu, Varmo Vene Corecursive Algebras: A Study of General Structured Corecursion. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Paul Blain Levy Global State Considered Helpful. Search on Bibsonomy MFPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13H. Cheng, S. C. Chan 0001, Z. G. Zhang 0001 Robust Channel Estimation and Multiuser Detection for MC-CDMA Systems Under Narrowband Interference. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF wireless communications, channel estimation, multiuser detection, narrowband interference
13David Yuheng Zhao, W. Bastiaan Kleijn, Alexander Ypma, Bert de Vries Online Noise Estimation Using Stochastic-Gain HMM for Speech Enhancement. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Yves Bertot, Ekaterina Komendantskaya Using Structural Recursion for Corecursion. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq
13Isil Dillig, Thomas Dillig, Alex Aiken Sound, complete and scalable path-sensitive analysis. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF path- and context-sensitive analysis, strongest necessary/weakest sufficient conditons, static analysis
13Cicilia C. Lozano, Bogdan J. Falkowski, Tadeusz Luba Properties and Computational Algorithm for Fastest Quaternary Linearly Independent Transforms. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quaternary transforms, Spectral techniques, fast transforms
13Salvatore La Torre, P. Madhusudan, Gennaro Parlato Context-Bounded Analysis of Concurrent Queue Systems. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Basant K. Mohanty, Pramod Kumar Meher Throughput-scalable hybrid-pipeline architecture for multilevel lifting 2-D DWT of JPEG 2000 coder. Search on Bibsonomy ASAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Gilles Barthe, Benjamin Grégoire, Colin Riba Type-Based Termination with Sized Products. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Riccardo Rosati 0001 On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Atsushi Ohori, Isao Sasano Lightweight fusion by fixed point promotion. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fusion, fixed point, inlining
13Frédéric Blanqui Computability Closure: Ten Years Later. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Wencheng Lu, Sartaj Sahni Recursively Partitioned Static IP Router-Tables. Search on Bibsonomy ISCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Peter Gottschling, David S. Wise, Michael D. Adams 0001 Representation-transparent matrix algorithms with scalable performance. Search on Bibsonomy ICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Morton-order, dilated integers, doppled integers, matrix template library
13Takushi Tanaka A Logic Grammar for Circuit Analysis. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Parsing Circuits, DCG, DCSG, Circuit Analysis, Logic Grammar
Displaying result #801 - #900 of 14868 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][>>]
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