|
|
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 |
15 | Jerome Vouillon, Paul-André Melliès |
Semantic types: a fresh look at the ideal model for types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 52-63, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types |
15 | Jau-Chuan Ke |
The Analysis of a General Input Queue with N Policy and Exponential Vacations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 45(2), pp. 135-160, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
recursive method, supplementary variable, vacations, steady-state probability |
15 | Lih-Yuan Deng, Hongquan Xu |
A system of high-dimensional, efficient, long-cycle and portable uniform random number generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 13(4), pp. 299-309, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
DX-k generator, FMRG-k generator, MT19937, multiple recursive generator, portable and efficient generator, primitive polynomial, linear congruential generator |
15 | Yoav Zibin, Joseph Gil, Jeffrey Considine |
Efficient algorithms for isomorphisms of simple types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 160-171, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature |
15 | Ka-man Lam, Ho-fung Leung |
Rational communication in multi-agent semi-competitive environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 1044-1045, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
honesty, rational communication, recursive modeling, multi-agent systems, trust |
15 | D. L. Yu, J. B. Gomm |
Enhanced Neural Network Modelling for a Real Multi-variable Chemical Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 10(4), pp. 289-299, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
MIMO chemical systems, Nonlinear system identification, Recursive Orthogonal Least Squares, Radial Basis Function Networks, Neural network modelling |
15 | Yoko Kamidoi, Shin'ichi Wakabayashi, Noriyoshi Yoshida |
A Divide-and-Conquer Approach to the Minimum k-Way Cut Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 32(2), pp. 262-276, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Minimum k -way cut, Maximum flow computation, Undirected weighted graph, Deterministic algorithm, Recursive structure |
15 | Héctor Cancela 0001, María E. Urquhart |
Adapting RVR Simulation Techniques for Residual Connectedness Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(4), pp. 439-443, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
residual connectedness network reliability, recursive variance reduction, simulation, Monte Carlo methods |
15 | Robert Pollack |
Dependently Typed Records in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(3-5), pp. 386-402, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble |
15 | Ruofeng Tong 0001, Kazufumi Kaneda, Hideo Yamashita |
A volume-preserving approach for modeling and animating water flows generated by metaballs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 18(8), pp. 469-480, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Graph theory, Interval analysis, Volume preserving, Recursive subdivision, Metaballs |
15 | Ioannis P. Ivrissimtzis, Christian Rössl, Hans-Peter Seidel |
A Divide and Conquer Algorithm for Triangle Mesh Connectivity Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 10th Pacific Conference on Computer Graphics and Applications, PG 2002, Beijing, China, October 9-11, 2002, pp. 294-303, 2002, IEEE Computer Society, 0-7695-1784-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Connectivity Encoding, Binary Trees, Recursive Algorithms |
15 | P. Krishna Gummadi, Stefan Saroiu, Steven D. Gribble |
King: estimating latency between arbitrary internet end hosts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Workshop ![In: Proceedings of the 2nd ACM SIGCOMM Internet Measurement Workshop, IMW 2002, Marseille, France, November 6-8, 2002, pp. 5-18, 2002, ACM, 1-58113-603-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
latency measurement tool, recursive DNS |
15 | Hans L. Bodlaender, Babette van Antwerpen-de Fluiter |
Parallel Algorithms for Series Parallel Graphs and Graphs with Treewidth Two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 29(4), pp. 534-559, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Minimum k -way cut, Maximum flow computation, Undirected weighted graph, Deterministic algorithm, Recursive structure |
15 | Sungwook Yu, Earl E. Swartzlander Jr. |
DCT Implementation with Distributed Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(9), pp. 985-991, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
recursive DCT algorithm, Discrete Cosine Transform, distributed arithmetic |
15 | Tom Chau |
Marginal Maximum Entropy Partitioning Yields Asymptotically Consistent Probability Density Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(4), pp. 414-417, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Marginal maximum entropy, asymptotic optimal classification, pattern discovery, recursive partitioning |
15 | Johan Claes, Marc Ramaekers, Frank Van Reeth |
Providing Local Interpolation, Tension and Normal Control in the Manipulation of Loop Subdivision Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Computer Graphics International 2001 (CGI'01), July 3-6, 2001, Hong Kong, China, Proceedings, pp. 299-305, 2001, IEEE Computer Society, 0-7695-1007-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Loop subdivision, recursive subdivision surfaces, modeling, computer animation, surface design |
15 | Yohji Akama |
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 399-413, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Hüuseyin Kutluca, Tahsin M. Kurç, Cevdet Aykanat |
Image-Space Decomposition Algorithms for Sort-First Parallel Volume Rendering of Unstructured Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 15(1), pp. 51-93, 2000. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Marc Mosko, J. J. Garcia-Luna-Aceves |
An Analysis of Packet Loss Correlation in FEC-Enhanced Multicast Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 151-164, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Joseph D. Touch |
Dynamic Internet Overlay Deployment and Management Using the X-Bone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 59-68, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
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 |
15 | G. Butler, Christine Mingins |
YooccLa: A Parser Generator for L-Attributed Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 214-227, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Chi-Keung Luk, Todd C. Mowry |
Automatic Compiler-Inserted Prefetching for Pointer-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(2), pp. 134-141, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
pointer-based applications, performance evaluation, Caches, prefetching, compiler optimization, shared-memory multiprocessors, recursive data structures |
15 | Yuanyuan Yang 0001, Jianchao Wang |
A New Self-Routing Multicast Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(12), pp. 1299-1316, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
binary radix sorting network, reverse banyan network, recursive construction, compact routing, self-routing, Multicast network |
15 | Ahmad H. Nasri |
A four-sided approach for interpolating B-spline curves by subdivision surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 14(7), pp. 343-353, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
B-spline, Arbitrary topology, Recursive subdivision, Curve interpolation |
15 | Anna Formica, Hans Dietmar Gröger, Michele Missikoff |
An Efficient Method for Checking Object-Oriented Database Schema Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 23(3), pp. 333-369, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
inheritance conflicts, inheritance process, object-oriented database schemas, databases, graph theory, recursive types |
15 | Susumu Horiguchi, Issei Numata |
Self-Reconfiguration Scheme of 3D-Mesh Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 13th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '98), 2-4 November 1998, Austin, TX, USA, Proceedings, pp. 276-, 1998, IEEE Computer Society, 0-8186-8832-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
3D-Mesh Arrays, the recursive shift scheme, 3D stacked implementation, massively parallel computers, Reconfiguration Scheme |
15 | M. Braun, Martin Hahn 0001, Jens-Rainer Ohm, Maati Talmi |
Motion-Compensating Real-Time Format Converter for Video on Multimedia Displays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 125-128, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Bing Ma, Sridhar Lakshmanan, Alfred O. Hero III |
Detection of Curved Road Edges in Radar Images Via Deformable Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 857-860, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | A. Aydin Alatan, Ertem Tuncel, Levent Onural |
A Rule-Based Method for Object Segmentation in Video Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 522-525, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Christian Mossin |
Higher-Order Value Flow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 159-173, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
polyvariance, efficiency, program analysis, type system, polymorphism, recursive types |
15 | Willem C. Mallon, Jan Tijmen Udding |
Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 7-10 April 1997, Eindhoven, The Netherlands, pp. 175-, 1997, IEEE Computer Society, 0-8186-7922-0. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Vi Chi Chan, David Lewis |
Hierarchical partitioning for field-programmable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 428-435, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Naushik Sankarayya, Kaushik Roy 0001, Debashis Bhattacharya |
Optimizing computations in a transposed direct form realization of floating-point LTI-FIR systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 120-125, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Differential Coefficients, Sorted Recursive Differences, low-power, filters, DSP, multiplication, FIR |
15 | Nak-Keun Joo, Hyeong-Seok Lim |
A new interconnection network for parallel computer with low diameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 540-547, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
low diameter, graycube, dialation 2, hypercube embedding, routing, parallel computer, interconnection network, hypercube networks, broadcasting algorithms, recursive structure |
15 | Elena Dubrova, Jon C. Muzio, Bernhard von Stengel |
Finding Composition Trees for Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 19-26, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Joã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](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings, pp. 361-366, 1997, Springer, 3-540-63811-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
recursive function theory, modularity, Neural computation |
15 | Ronan Gaugne |
A Static Analysis for Program Understanding and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 297-298, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Kathryn W. Lilly, A. S. Melligeri |
Dynamic simulation and neural network compliance control of an intelligent forging center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 17(1), pp. 81-99, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
forging automation, compliance control, neural networks, dynamic simulation, finite element models, recursive algorithms, intelligent manufacturing |
15 | Alan S. Morris, Seddik Khemaissia |
A neural network based adaptive robot controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 15(1), pp. 3-10, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
adaptive robot control, recursive prediction error, Neural networks |
15 | Philip F. McLauchlan, David William Murray 0001 |
Active Camera Calibration for a Head-Eye Platform Using the Variable State-Dimension Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(1), pp. 15-22, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Camera calibration, active vision, recursive filter, real-time vision |
15 | C. Y. Chen, Chin-Chen Chang 0001, Richard C. T. Lee, D. C. Lin |
Optimal Linear Hashing Files for Orthogonal Range Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 406-413, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Ching-Long Su, Yin-Tsung Hwang |
Distributed arithmetic-based architectures for high speed IIR filter design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 156-161, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Yuntao Cui, John (Juyang) Weng |
Hand sign recognition from intensity image sequences with complex backgrounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 2nd International Conference on Automatic Face and Gesture Recognition (FG '96), October 14-16, 1996, Killington, Vermont, USA, pp. 259-264, 1996, IEEE Computer Society, 0-8186-7713-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Julio Villalba, J. C. Arrabal, Emilio L. Zapata, Elisardo Antelo, Javier D. Bruguera |
Radix-4 Vectoring Cordic Algorithm And Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1996 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '96), August 19-23, 1996, Chicago, IL , USA, pp. 55-64, 1996, IEEE Computer Society, 0-8186-7542-X. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Xiaoping 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](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 114-, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Charles Wiles, Michael Brady 0001 |
Closing the Loop on Multiple Motions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 308-313, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Philip F. McLauchlan, David William Murray 0001 |
A Unifying Framework for Structure and Motion Recovery from Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 314-320, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Steven M. Seitz, Charles R. Dyer |
Complete Scene Structure from Four Point Correspondences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 330-337, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Paul W. Fieguth, William W. Irving, Alan S. Willsky |
Multiresolution model development for overlapping trees via canonical correlation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 45-48, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | James C. Brailean, Aggelos K. Katsaggelos |
Noise robust spatial gradient estimation for use in displacement estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 211-214, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Eric Sutton, Helen Na |
A new iterative algorithm for ionospheric tomography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 437-440, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Phyllis Crandall, Michael J. Quinn |
Non-uniform 2-D grid partitioning for heterogeneous parallel architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 428-435, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Sabine R. Öhring, Maximilian Ibel, Sajal K. Das 0001, Mohan Kumar |
On generalized fat trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 37-44, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Bogdan J. Falkowski, Susanto Rahardja |
Efficient Algorithm for the Generation of Fixed Polarity Quaternary Reed-Muller Expansions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 158-163, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Bogdan J. Falkowski, Susanto Rahardja |
Novel Quantized Transform for Ternary Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 117-122, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Nelson L. Passos, Edwin Hsing-Mean Sha, Liang-Fang Chao |
Multi-dimensional interleaving for time-and-memory design optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 440-445, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Tim Collins, James C. Browne |
MaTRiX++: an object-oriented environment for parallel high-performance matrix computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 202-211, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
15 | D. W. Russell |
An expert project management assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 198-203, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Myoung-Young Yoon, Seong-Whan Lee, Ju-Sung Kim |
Faxed image restoration using Kalman filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 677-680, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Anikó 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](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 458-461, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Ann Grbavec, Dorothea Blostein |
Mathematics recognition using graph rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 417-421, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Dusko Katic, Miomir Vukobratovic |
Contribution to the indirect decentralized adaptive control of manipulation robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 9(3), pp. 235-271, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
manipulation robots, Adaptive control, decentralized systems, recursive identification |
15 | François Baccelli, Serguei Foss |
Ergodicity of Jackson-type queueing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 17(1-2), pp. 5-72, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Antonia Bertolino, Martina Marré |
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 885-899, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Hochong Park, Roland T. Chin |
Optimal Decomposition of Convex Morphological Structuring Elements for 4-Connected Parallel Array Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(3), pp. 304-313, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
15 | David Lubinsky |
Classification trees with bivariate splits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 4(3), pp. 283-296, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
bivariate split types, Gini, Recursive partitioning, divide-and-conquer algorithms |
15 | Yixin Zhu, Huan Li |
The MacLaurin expansion for a G/G/1 queue with Markov-modulated arrivals and services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 14(1-2), pp. 125-134, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Markov-modulated arrivals and services, MacLaurin series, matrix recursive equation, waiting time, numerical algorithm, G/G/1 queue |
15 | Giuseppe Iazeolla, Francesco Marinuzzi |
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 486-502, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Mohan Kumar, Lalit M. Patnaik |
Extended Hypercube: A Hierarchical Interconnection Network of Hypercubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(1), pp. 45-57, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
hierarchical interconnection network, extended hypercube, parallel algorithms, hypercube networks, message routing, interconnection topology, parallelalgorithms, recursive structure |
15 | Kemal Efe |
The Crossed Cube Architecture for Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(5), pp. 513-524, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Wonyong Sung, Sanjit K. Mitra, Branko Jeren |
Multiprocessor Implementation of Digital Filtering Algorithms Using a Parallel Block Processing Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(1), pp. 110-120, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Xian Cheng, Oliver C. Ibe |
Reliability of a Class of Multistage Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(2), pp. 241-246, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Arun P. Tirumalai, Brian G. Schunck, Ramesh C. Jain |
Dynamic Stereo with Self-Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(12), pp. 1184-1189, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim |
Efficient Algorithms for the Instantiated Transitive Closure Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(3), pp. 296-309, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Janet Aisbett |
An Iterated Estimation of the Motion Parameters of a Rigid Body from Noisy Displacement Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(11), pp. 1092-1098, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Michael Kifer, Eliezer L. Lozinskii |
On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 15(3), pp. 385-426, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
recursive rules, filtering, projection, selection, inference, deductive databases, dataflow, graph representation, fixpoint |
15 | Yi-Tong Zhou, V. Venkateswar, Rama Chellappa |
Edge Detection and Linear Feature Extraction Using a 2-D Random Field Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(1), pp. 84-95, 1989. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Corrado Böhm |
Subduing Self-Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings, pp. 108-122, 1989, Springer, 3-540-51371-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
combinatory and lambda-algebras, typability, strong normalizability, recursor, permutator, iterator, Self-application, recursive schemes |
15 | Matthew M. Geller |
Test Data as an Aid in Proving Program Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976, pp. 209-218, 1976, ACM Press. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs |
13 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Nested interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 471-482, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement |
13 | Tamarisk Lurlyn Scholtz, Ian D. Sanders |
Mental models of recursion: investigating students' understanding of recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 103-107, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
recursion, mental models |
13 | Shaminda Subasingha, Manohar N. Murthi, Søren Vang Andersen |
Gaussian Mixture Kalman Predictive Coding of Line Spectral Frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 17(2), pp. 379-391, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Himanshu Gupta 0001, Xianjin Zhu, Xiang Xu |
Deductive Framework for Programming Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 281-292, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Brian Huffman |
A Purely Definitional Universal Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 260-275, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Venanzio Capretta, Tarmo Uustalu, Varmo Vene |
Corecursive Algebras: A Study of General Structured Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 84-100, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Paul Blain Levy |
Global State Considered Helpful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008, pp. 241-259, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | H. 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](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 52(2), pp. 165-180, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
wireless communications, channel estimation, multiuser detection, narrowband interference |
13 | David Yuheng Zhao, W. Bastiaan Kleijn, Alexander Ypma, Bert de Vries |
Online Noise Estimation Using Stochastic-Gain HMM for Speech Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 16(4), pp. 835-846, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Yves Bertot, Ekaterina Komendantskaya |
Using Structural Recursion for Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 220-236, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq |
13 | Isil Dillig, Thomas Dillig, Alex Aiken |
Sound, complete and scalable path-sensitive analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 270-280, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
path- and context-sensitive analysis, strongest necessary/weakest sufficient conditons, static analysis |
13 | Cicilia C. Lozano, Bogdan J. Falkowski, Tadeusz Luba |
Properties and Computational Algorithm for Fastest Quaternary Linearly Independent Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA, pp. 226-231, 2008, IEEE Computer Society, 978-0-7695-3155-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quaternary transforms, Spectral techniques, fast transforms |
13 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
Context-Bounded Analysis of Concurrent Queue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 299-314, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Basant K. Mohanty, Pramod Kumar Meher |
Throughput-scalable hybrid-pipeline architecture for multilevel lifting 2-D DWT of JPEG 2000 coder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 19th IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2008, July 2-4, 2008, Leuven, Belgium, pp. 305-309, 2008, IEEE Computer Society, 978-1-4244-1897-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Gilles Barthe, Benjamin Grégoire, Colin Riba |
Type-Based Termination with Sized Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 493-507, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Riccardo Rosati 0001 |
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pp. 13-27, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Atsushi Ohori, Isao Sasano |
Lightweight fusion by fixed point promotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 143-154, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fusion, fixed point, inlining |
13 | Frédéric Blanqui |
Computability Closure: Ten Years Later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rewriting, Computation and Proof ![In: Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, pp. 68-88, 2007, Springer, 978-3-540-73146-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Wencheng Lu, Sartaj Sahni |
Recursively Partitioned Static IP Router-Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), July 1-4, Aveiro, Portugal, pp. 437-442, 2007, IEEE Computer Society, 978-1-4244-1520-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Peter Gottschling, David S. Wise, Michael D. Adams 0001 |
Representation-transparent matrix algorithms with scalable performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 21th Annual International Conference on Supercomputing, ICS 2007, Seattle, Washington, USA, June 17-21, 2007, pp. 116-125, 2007, ACM, 978-1-59593-768-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Morton-order, dilated integers, doppled integers, matrix template library |
13 | Takushi Tanaka |
A Logic Grammar for Circuit Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 852-860, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Parsing Circuits, DCG, DCSG, Circuit Analysis, Logic Grammar |
|
|