Search results for "Elimination"

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