The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1940-1965 (16) 1966-1969 (16) 1970-1973 (24) 1974-1975 (22) 1976-1977 (21) 1978-1979 (16) 1980-1981 (22) 1982 (23) 1983-1984 (22) 1985 (22) 1986 (24) 1987 (27) 1988 (38) 1989 (45) 1990 (58) 1991 (52) 1992 (66) 1993 (77) 1994 (77) 1995 (105) 1996 (106) 1997 (104) 1998 (120) 1999 (125) 2000 (174) 2001 (149) 2002 (169) 2003 (211) 2004 (265) 2005 (325) 2006 (330) 2007 (358) 2008 (388) 2009 (286) 2010 (159) 2011 (163) 2012 (170) 2013 (162) 2014 (154) 2015 (169) 2016 (208) 2017 (205) 2018 (191) 2019 (212) 2020 (224) 2021 (256) 2022 (219) 2023 (253) 2024 (52)
Publication types (Num. hits)
article(2881) book(5) incollection(33) inproceedings(3719) phdthesis(39) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(337) IEEE Trans. Ind. Electron.(79) ISSAC(70) IEEE Access(64) CSL(51) IECON(50) Arch. Math. Log.(46) Sensors(43) CADE(42) J. Symb. Comput.(42) IEEE Trans. Comput. Aided Des....(41) PLDI(40) LPAR(36) Stud Logica(36) J. Symb. Log.(34) POPL(34) More (+10 of total 2005)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3107 occurrences of 1904 keywords

Results
Found 6680 publication records. Showing 6680 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
78Keiichirou Kusakari, Masaki Nakamura 0001, Yoshihito Toyama Elimination Transformations for Associative-Commutative Rewriting Systems. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF (AC-)termination, (AC-)dependency pair, argument filtering, elimination transformation
62Jens Knoop, Oliver Rüthing, Bernhard Steffen Partial Dead Code Elimination. Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF assignment motion, bit-vector data flow analyses, data flow analysis, program optimization, code motion, partial redundancy elimination, dead code elimination
56Bernd Bank, Max J. Egenhofer, Bart Kuijpers 07212 Abstracts Collection -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. Search on Bibsonomy Constraint Databases, Geometric Elimination and Geographic Information Systems The full citation details ... 2007 DBLP  BibTeX  RDF
56Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz 07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. Search on Bibsonomy Constraint Databases, Geometric Elimination and Geographic Information Systems The full citation details ... 2007 DBLP  BibTeX  RDF
56Rafael Grimson A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. Search on Bibsonomy Constraint Databases, Geometric Elimination and Geographic Information Systems The full citation details ... 2007 DBLP  BibTeX  RDF
50Javier Larrosa, Rina Dechter Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization
50Volker Weispfenning Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Fast quantifier elimination and decision methods, First-order theory of reals, Constraint solving, Automatic theorem proving
49Fernando Magno Quintão Pereira, Jens Palsberg SSA Elimination after Register Allocation. Search on Bibsonomy CC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Eljas Soisalon-Soininen Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
46Bernd Bank, Max J. Egenhofer, Bart Kuijpers (eds.) Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007 Search on Bibsonomy Constraint Databases, Geometric Elimination and Geographic Information Systems The full citation details ... 2007 DBLP  BibTeX  RDF
46Stephan Mäs Checking the Integrity of Spatial Integrity Constraints. Search on Bibsonomy Constraint Databases, Geometric Elimination and Geographic Information Systems The full citation details ... 2007 DBLP  BibTeX  RDF
46Peter Z. Revesz Constraint Databases and Geographic Information Systems. Search on Bibsonomy Constraint Databases, Geometric Elimination and Geographic Information Systems The full citation details ... 2007 DBLP  BibTeX  RDF
46Bart Kuijpers, Walied Othman An analytic solution to the alibi query in the bead model for moving object data. Search on Bibsonomy Constraint Databases, Geometric Elimination and Geographic Information Systems The full citation details ... 2007 DBLP  BibTeX  RDF
44Shou-Der Wei, Shang-Hong Lai Efficient Normalized Cross Correlation Based on Adaptive Multilevel Successive Elimination. Search on Bibsonomy ACCV (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF successive eliminat-ion, multi-level successive elimination, Pattern matching, fast algorithms, normalized cross correlation
44Olivier Hermant Semantic Cut Elimination in the Intuitionistic Sequent Calculus. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo
44Christian Urban Strong Normalisation for a Gentzen-like Cut-Elimination Procedure. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Recursive Path Ordering, Cut-Elimination, Explicit Substitution, Classical Logic
44Gagan Agrawal Interprocedural Partial Redundancy Elimination With Application to Distributed Memory Compilation. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Distributed memory compilation, communication optimizations, interprocedural analysis, Partial Redundancy Elimination, irregular applications
44Agata Ciabattoni, Kazushige Terui Modular Cut-Elimination: Finding Proofs or Counterexamples. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Saugata Basu New Results on Quantifier Elimination over Real Closed Fields and Applications to Constraint Databases. Search on Bibsonomy J. ACM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Michel Cosnard, Laura Grigori Using Postordering and Static Symbolic Factorization for Parallel Sparse LU. Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF sparse unsymmetric matrices, partial pivoting, static symbolic factorization, postordering, Gaussian elimination, elimination tree
39Ashok Anand, Chitra Muthukrishnan, Aditya Akella, Ramachandran Ramjee Redundancy in network traffic: findings and implications. Search on Bibsonomy SIGMETRICS/Performance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF traffic redundancy, traffic engineering
39Aless Lasaruk, Thomas Sturm 0001 Weak quantifier elimination for the full linear theory of the integers. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Integer constraint solving, Implementation, Quantifier elimination
39Tae-Kyung Ryu, Tae-Il Jeong, Kwon-Yeol Ryu, Kwang-Seok Moon, Jong-Nam Kim A Fast Partial Distortion Elimination Algorithm Using Adaptive Matching Scan and Refining Threshold. Search on Bibsonomy ICIC (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Partial Distortion Elimination, Motion Estimation, Block Matching
39Kentaro Kikuchi Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
39Rezaul Alam Chowdhury, Vijaya Ramachandran The cache-oblivious gaussian elimination paradigm: theoretical framework, parallelization and experimental evaluation. Search on Bibsonomy SPAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF matrix multiplication, tiling, Gaussian elimination, cache-oblivious algorithm, all-pairs shortest path
39Christopher W. Brown 0001, James H. Davenport The complexity of quantifier elimination and cylindrical algebraic decomposition. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quantifier elimination, cylindrical algebraic decomposition
39Yong Mao, Xiaobo Zhou 0001, Zheng Yin, Daoying Pi, Youxian Sun, Stephen T. C. Wong Gene Selection Using Gaussian Kernel Support Vector Machine Based Recursive Feature Elimination with Adaptive Kernel Width Strategy. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF recursive feature elimination, machine learning, support vector machine, Feature selection
39Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit Using elimination to implement scalable and lock-free FIFO queues. Search on Bibsonomy SPAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination
39Shaun A. Forth, Mohamed Tadjouddine, John D. Pryce, John K. Reid Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF vertex elimination, Jacobian, source transformation
39Uwe Naumann Optimal accumulation of Jacobian matrices by elimination methods on the dual computational graph. Search on Bibsonomy Math. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Computational graphs, Elimination techniques, Automatic differentiation, Jacobian matrices
39Francisco Gutiérrez, Blas C. Ruiz Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF pure type systems, expansion postponement, Track: B, cut elimination, sequent calculi
39Kai Brünnler Atomic Cut Elimination for classical Logic. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF atomic cut, sequent calculus, cut elimination, natural deduction, classical logic
39Dhananjay M. Dhamdhere E-path_PRE: partial redundancy elimination made easy. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2002 DBLP  DOI  BibTeX  RDF eliminatability of expressions, redundant code movement, data flow analysis, code optimization, partial redundancy elimination
39Michael Werman, Amnon Shashua The Study of 3D-from-2D Using Elimination. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF 3D geometric invariants, multiple 2D views, invariant functions, trilinearity, Grobner base computation, elimination process, quadlinear tensor, minimal sets, distinct coefficients, N view geometry, 3D from 2D geometry, computational geometry, linear algebra, set theory, epipolar geometry, tensors, point correspondences, algebraic geometry
39Dina Bitton, David J. DeWitt Duplicate Record Elimination in Large Data Files. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF sorting, projection operator, duplicate elimination
38Aggelos Kiayias, Hong-Sheng Zhou Zero-Knowledge Proofs with Witness Elimination. Search on Bibsonomy Public Key Cryptography The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Shao-Wei Liu, Shou-Der Wei, Shang-Hong Lai Fast Optimal Motion Estimation Based on Gradient-Based Adaptive Multilevel Successive Elimination. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38David Avis, Hiroshi Imai, Tsuyoshi Ito Generating facets for the cut polytope of a graph by triangular elimination. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 52B12, 90C57, 05C99
38Hwal-Suk Lee, Jik-Han Jung, Dong-Jo Park An effective successive elimination algorithm for fast optimal block-matching motion estimation. Search on Bibsonomy ICIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Naoki Yonezawa, Koichi Wada 0002, Takahiro Aida Barrier Elimination Based on Access Dependency Analysis for OpenMP. Search on Bibsonomy ISPA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Soo-Mok Jung, Sung-Chul Shin, Hyunki Baik, Myong-Soon Park Advanced Multilevel Successive Elimination Algorithms for Motion Estimation in Video Coding. Search on Bibsonomy IDEAL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Saugata Basu An Improved Algorithm for Quantifier Elimination Over Real Closed Fields. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Jan A. Spriet Side-Chain Structure Prediction Based on Dead-End Elimination: Single Split DEE-criterion Implementation and Elimination Power. Search on Bibsonomy WABI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Thibaut Feydy, Peter J. Stuckey Propagating systems of dense linear integer constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Gauss-Jordan elimination, Fourier elimination, Interval arithmetic, Constraint propagation, Linear constraints
35Rajiv Gupta 0001, David A. Berson, Jesse Zhixi Fang Resource-Sensitive Profile-Directed Data Flow Analysis for Code Optimization. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF aggressive code motion, data flow algorithms, functional unit resources, instruction reordering, partial dead code elimination, resource-sensitive profile-directed data flow analysis, optimization, data flow analysis, instruction schedulers, code optimization, partial redundancy elimination, resource availability
35Wen-Yang Lin Improving Parallel Ordering of Sparse Matrices Using Genetic Algorithms. Search on Bibsonomy Appl. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF sparse matrix ordering, parallel factorization, genetic algorithms, elimination tree
35David Castro 0007, Marc Giusti, Joos Heintz, Guillermo Matera, Luis Miguel Pardo The Hardness of Polynomial Equation Solving. Search on Bibsonomy Found. Comput. Math. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Polynomial equation solving, Continuous data structure, Holomorphic and continuous encoding, Complexity, Elimination theory
35Volker Weispfenning Semilinear Motion Planning in REDLOG. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF REDLOG, Motion planning, Quantifier elimination
34Gita Alaghband, Harry F. Jordan Sparse Gaussian Elimination with Controlled Fill-in on a Shared Memory Multiprocessor. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF controlled fill-in, ordered compatible set, Markowitz number, limited binary tree search, elimination set, parallel pivoting, stepwise algorithm, application matrices, HEP multiprocessor, parallel algorithms, computational complexity, parallel processing, shared memory multiprocessor, trees (mathematics), heuristic algorithm, matrix algebra, sparse matrix, linear time, sparse Gaussian elimination
34D. P. Anderson Hidden Line Elimination in Projected Grid Surfaces. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF function graphing, grid surface, hidden line elimination, hidden surface elimination
33Maxim Martynov Experimental study of protocol-independent redundancy elimination algorithms. Search on Bibsonomy WOSP/SIPEW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF redundancy elimination
33Bowei Zhang, Guochang Gu, Lin Sun, Yanxia Wu 32-bit floating-point FPGA gaussian elimination. Search on Bibsonomy FPGA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fpga., floating-point, gaussian elimination
33Hoon Hong, Mohab Safey El Din Variant real quantifier elimination: algorithm and application. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF quantifier elimination, polynomial systems, real solutions
33Uwe Naumann, Yuxiao Hu Optimal vertex elimination in single-expression-use graphs. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Vertex elimination, single-expression-use graph
33Hiroshi Yoshida, Katsuhisa Horimoto, Hirokazu Anai Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lindenmayer system with interactions, cell-type diversity, quantifier elimination, algebraic approach
33Keith D. Cooper, Jason Eckhardt, Ken Kennedy Redundancy elimination revisited. Search on Bibsonomy PACT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF expression optimization, reassociation, scalar replacement, loop optimization, redundancy elimination
33Ando Saabas, Tarmo Uustalu Proof optimization for partial redundancy elimination. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination
33Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck Array bounds check elimination for the Java HotSpot™ client compiler. Search on Bibsonomy PPPJ The full citation details ... 2007 DBLP  DOI  BibTeX  RDF array bounds check elimination, Java, optimization, performance, just-in-time compilation
33Kai Brünnler Cut Elimination inside a Deep Inference System for Classical Predicate Logic. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cut elimination, first-order predicate logic, deep inference
33Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki Improving duplicate elimination in storage systems. Search on Bibsonomy ACM Trans. Storage The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rabin's fingerprints, content-based addressing, Storage management, duplicate elimination
33Chandan K. Dubey, Shashank K. Mehta On Indecomposability Preserving Elimination Sequences. Search on Bibsonomy COCOON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF indecomposable graph, critically indecomposable graph, elimination sequence, Module
33Fedor V. Fomin, Pinar Heggernes, Jan Arne Telle Graph Searching, Elimination Trees, and a Generalization of Bandwidth. Search on Bibsonomy Algorithmica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Bandwidth, Chordal graph, Graph searching, Tree decomposition, Elimination tree
33Fumiaki Okushi, Allen Van Gelder Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Modoc, lemmas, satisfiability, resolution, refutation, Model Elimination
33Pierluigi Minari Analytic combinatory calculi and the elimination of transitivity. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Extensionality, Elimination of transitivity, Equational logic, Combinatory logic
33Joos Heintz, Guillermo Matera, Ariel Waissbein On the Time-Space Complexity of Geometric Elimination Procedures. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Algorithmic elimination theory, Polynomial equation solving, Algebraic complexity theory, Time-space complexity, Computation tree, Symbolic computation, Straight-line program
33Guillermo Matera Probabilistic Algorithms for Geometric Elimination. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Probabilistic algorithms, Arithmetic circuits, Boolean circuits, Elimination theory
33Abdel Krim Amoura, Evripidis Bampis, Jean-Claude König Scheduling Algorithms for Parallel Gaussian Elimination With Communication Costs. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Gaussian elimination method, scheduling, partitioning, mapping, Distributed architectures, communication delays
33Shietung Peng, Stanislav Sedukhin, Igor S. Sedukhin Parallel Algorithm And Architecture For Two-Step Division-Free Gaussian Elimination. Search on Bibsonomy ASAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF two-step division-free Gaussian elimination, two-dimensional array processor, localized dependency graph, time-space complexity, parallel algorithms, parallel algorithm, computational complexity, parallel architectures, parallel architecture, iterative methods, linear systems, VLSI implementation, iterative algorithm, numerical stability, numerical stability, linear scheduling
33Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski Region Analysis: A Parallel Elimination Method for Data Flow Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF elimination algorithms, parallel algorithms, Data flow analysis, program optimization, interval analysis
33Wan J. Fokkink An Elimination Theorem for Regular Behaviours with Integration. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF & Phrases ACP, relative time, regular process, Elimination Theorem, integration
33Timothy J. Shimeall, Nancy G. Leveson An Empirical Comparison of Software Fault Tolerance and Fault Elimination. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF fault elimination, run-time assertions, multiversion voting, stepwise abstraction, static data-flow analysis, project resources, fault tolerant computing, software reliability, software reliability, program testing, software fault tolerance, functional testing, structural testing, code reading
32Jae-Hee Ahn, Yo-Sub Han Implementation of State Elimination Using Heuristics. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Koji Nakazawa An Isomorphism Between Cut-Elimination Procedure and Proof Reduction. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Agata Ciabattoni, George Metcalfe Density Elimination and Rational Completeness for First-Order Logics. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Ket Fah Chong, Hon Wai Leong An extension of dead end elimination for protein side-chain conformation using merge-decoupling. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF protein side chain conformation, algorithm
32Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Cut-Elimination: Experiments with CERES. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Harry G. Mairson, Kazushige Terui On the Computational Complexity of Cut-Elimination in Linear Logic. Search on Bibsonomy ICTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Adnan Darwiche, Mark Hopkins Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Walid Taha, Henning Makholm, John Hughes 0001 Tag Elimination and Jones-Optimality. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32José Espírito Santo Revisiting the Correspondence between Cut Elimination and Normalisation. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Jürgen Giesl, Aart Middeldorp Eliminating Dummy Elimination. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Javier Larrosa Boosting Search with Variable Elimination. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Andreas Dolzmann, Volker Weispfenning Local quantifier elimination. Search on Bibsonomy ISSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Thorsten Bernholt, Alexander Gülich, Thomas Hofmeister, Niels Schmitt Football Elimination Is Hard to Decide Under the 3-Point-Rule. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Jean-Louis Lassez Parametric queries, linear constraints and variable elimination. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
30Robert Kennedy, Fred C. Chow, Peter Dahl, Shin-Ming Liu, Raymond Lo, Mark Streich Strength Reduction via SSAPRE. Search on Bibsonomy CC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF linear function test replacement, program transformation, program analysis, data flow analysis, program optimization, Code motion, partial redundancy elimination, static single assignment, strength reduction, dead code elimination, induction variables
29José Espírito Santo Refocusing Generalised Normalisation. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generalised elimination rules, multiarity, normalisation
29Vincent Y. Lum Multi-Attribute Retrieval with Combined Indexes. Search on Bibsonomy Commun. ACM The full citation details ... 1970 DBLP  DOI  BibTeX  RDF balanced filing scheme, combining indexes, elimination of false drops, multi-attribute retrieval, rapid retrieval, secondary index files, secondary keys, storage with buckets, information retrieval, query, data management, access method, inverted files, file organization
28Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Proof Transformation by CERES. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Uwe Naumann, Peter Gottschling Simulated Annealing for Optimal Pivot Selection in Jacobian Accumulation. Search on Bibsonomy SAGA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dyadic pivoting, row and column pivoting, (logarithmic) simulated annealing, Jacobian matrices
28Dexter Kozen, Maria-Christina Patron Certification of Compiler Optimizations Using Kleene Algebra with Tests. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Torben Braüner, Valeria de Paiva A Formulation of Linear Logic Based on Dependency-Relations. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Hugo Herbelin, Gyesik Lee Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics
28Ashok Anand, Vyas Sekar, Aditya Akella SmartRE: an architecture for coordinated network-wide redundancy elimination. Search on Bibsonomy SIGCOMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF caching, redundancy elimination
28Jens Bachmann, Martin Riedl 0001, Johann Schuster, Markus Siegle An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MTBDD, elimination of immediate transitions, stochastic process algebra
28Scott McCallum, Christopher W. Brown 0001 On delineability of varieties in CAD-based quantifier elimination with two equational constraints. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF quantifier elimination, cylindrical algebraic decomposition
28Olivier Laurent 0001, Roberto Maieli Cut Elimination for Monomial MALL Proof Nets. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Linear Logic, Cut Elimination, Proof Net
28Soonjong Jin, Hyuk Lee, Jechang Jeong Fast Partial Distortion Elimination Algorithm for Lossless and Lossy Motion Estimation Using Hadamard Transform and Probability Model. Search on Bibsonomy DCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fast Partial Distortion Elimination, Hadamard Probability Model, Hadamard Transform
28Yuqing He, Hongying Yang, Yushi Hou, Huan He An Elimination Method of Light Spot Based on Iris Image Fusion. Search on Bibsonomy ICIC (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Light spot elimination, Image matching, Image fusion, Iris recognition
28M. Zafar Ullah Khan, M. Mubashir Hussain, Dil Muhammad Akbar Hussain Design and Implementation of a Selective Harmonic Elimination SPWM Strategy-Based Inverter. Search on Bibsonomy IMTIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Sinusoidal Pulse Width Modulation (SPWM), Selective Harmonic Elimination SPWM (SHE SPWM), Total Harmonic Distortion (THD), Natural Sampling SPWM, Regular Sampled Asymmetric SPWM, Modified Asymmetric Regular Sampled SPWM, Regular Sampled Symmetric SPWM, PIC Microcontroller, Gate Drive Amplifier (GDA), MATLAB
Displaying result #1 - #100 of 6680 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license