Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Masud Ahmad Malik	Evolution of the High Level Programming Languages: A Critical Perspective.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
23	Olaf Chitil	Common Subexpressions Are Uncommon in Lazy Functional Languages.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
23	Craig MacInnes	The use of small pivot perturbation in circuit analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
23	Xumin Nie	How Well Are Non-Horn Clauses Handled?	ISMIS	1991	DBLP DOI BibTeX RDF
22	Qing'an Li, Yanxiang He, Lei Zhou, Wei Wu, Yong Chen	Integer Promotion Elimination on Abstract Syntax Tree.	CIT	2010	DBLP DOI BibTeX RDF	Integer promotion elimination, Compiler optimization
22	Leonid Khachiyan	Fourier-Motzkin Elimination Method.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	First order theory of real addition with order, Output-polynomial, Linear programming, Projection, Linear inequalities, Fourier-Motzkin elimination, Semilinear set
22	Marcin Bator, Leszek J. Chmielewski	Finding regions of interest for cancerous masses enhanced by elimination of linear structures and considerations on detection correctness measures in mammography.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Tumour, Correctness measure, Accumulation line detector, Detection, ROI, Mammograms, Cancer, Elimination, Linear structures
22	Atsushi Shimada, Rin-Ichiro Taniguchi	Elimination of Useless Neurons in Incremental Learnable Self-Organizing Map.	WSOM	2009	DBLP DOI BibTeX RDF	Elimination of Neurons, Self-Organizing Map, Graph Cut
22	Keqiao Yang, Zeng Huang, Min Yang	Array Bounds Check Elimination for Java Based on Sparse Representation.	SERA	2009	DBLP DOI BibTeX RDF	array bounds check elimination, Java, optimization, performance
22	Xiang-Yan Zeng, Yen-Wei Chen 0001, Caixia Tao, Deborah van Alphen	Feature Selection Using Recursive Feature Elimination for Handwritten Digit Recognition.	IIH-MSP	2009	DBLP DOI BibTeX RDF	recursive feature elimination, Feature selection, least squares support vector machine, multi-class classification, handwritten digit recognition
22	Tao Gao, Zheng-guang Liu, Wen-chun Gao, Jun Zhang	A Robust Technique for Background Subtraction and Shadow Elimination in Traffic Video Sequence.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Marr wavelet, BDWT, shadow elimination, background subtraction, Background modeling
22	James Cheng, Yiping Ke, Wilfred Ng	Effective elimination of redundant association rules.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Association rules, Redundancy elimination, Concise representation
22	Sebastian Will, Anke Busch, Rolf Backofen	Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Cluster tree elimination, Dynamic programming, Sequence alignment
22	Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris	Speculative improvements to verifiable bounds check elimination.	PPPJ	2008	DBLP DOI BibTeX RDF	SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation
22	Zuwairie Ibrahim, Noor Khafifah Khalid, Ismail Ibrahim, Mohamad Shukri Zainal Abidin, Musa Mohd Mokji, Syed Abdul Rahman Syed Abu Bakar	A Noise Elimination Procedure for Printed Circuit Board Inspection System.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	PCB inspection, noise elimination
22	Wooksun Shin, Jongseok Um, Doo Heon Song 0001, Chang-Hoon Lee	Moving Cast Shadow Elimination Algorithm Using Principal Component Analysis in Vehicle Surveillance Video.	ICHIT	2006	DBLP DOI BibTeX RDF	Shadow Elimination, Color Shadow Model, PCA, ITS
22	Mahmut T. Kandemir, Seung Woo Son 0001	Reducing power through compiler-directed barrier synchronization elimination.	ISLPED	2006	DBLP DOI BibTeX RDF	barrier elimination, low power, compiler
22	Matthias Müller-Hannemann	Hexahedral Mesh Generation by Successive Dual Cycle Elimination.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Combinatorial dual, Cycle elimination, Hexahedral mesh generation, Hex complex, Quadrilateral surface meshing, Planar graphs
22	Ding-Kai Chen, Pen-Chung Yew	Redundant Synchronization Elimination for DOACROSS Loops.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	DOACROSS, redundant synchronization elimination, Compiler optimization, data dependence, data synchronization
22	Volker Müller	Elimination of Specular Surface-Reflectance Using Polarized and Unpolarized Light.	ECCV (2)	1996	DBLP DOI BibTeX RDF	elimination of highlights, image-restauration, Fresnel reflectance model, polarization, Physics-based vision
22	Hakim Bederr, Michael Nicolaidis, Alain Guyot	Analytic approach for error masking elimination in on-line multipliers.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	error masking elimination, online multipliers, high precision numbers, scan design approach, internal state observability, DFT approach, sequential circuits, digital arithmetic, fault coverage, multiplying circuits, area overhead
22	Saugata Basu, Richard Pollack, Marie-Françoise Roy	On the Combinatorial and Algebraic Complexity of Quantifier Elimination	FOCS	1994	DBLP DOI BibTeX RDF	complex geometry, first order formulae, asymptotically fastest algorithm, input polynomials, sign partition, polynomials, quantifier elimination, combinatorial complexity, algebraic complexity, real closed fields, first order theory, complexity bound
22	Dhananjay M. Dhamdhere, Harish Patil	An Elimination Algorithm for Bidirectional Data Flow Problems Using Edge Placement.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	bidirectional dependencies, elimination algorithm, data flow analysis, interval analysis
22	Elias Dahlhaus, Marek Karpinski	An Efficient Parallel Algorithm for the Minimal Elimination Ordering (MEO) of an Arbitrary Graph (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	minimal elimination ordering, MEO, arbitrary graph, concurrent-read-concurrent-write parallel random-access machine, parallel algorithm, divide-and-conquer, CRCW PRAM
22	Mandayam A. Srinivas	Optimal Parallel Scheduling of Gaussian Elimination DAG's.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	Dense matrices, scheduling, parallel computation, directed acyclic graphs, linear systems, Gaussian elimination
22	Andrew H. Sherman	Algorithms for Sparse Gaussian Elimination with Partial Pivoting.	ACM Trans. Math. Softw.	1978	DBLP DOI BibTeX RDF	pivoting algorithms, analysis of algorithms, linear equations, sparse linear systems, sparse Gaussian elimination
21	Michele Pagani	The Cut-Elimination Theorem for Differential Nets with Promotion.	TLCA	2009	DBLP DOI BibTeX RDF
21	Yuli Ye, Allan Borodin	Elimination Graphs.	ICALP (1)	2009	DBLP DOI BibTeX RDF
21	Bryan Renne	Evidence elimination in multi-agent justification logic.	TARK	2009	DBLP DOI BibTeX RDF
21	Jong-Nam Kim, Tae-Kyung Ryu, Won-Hee Kim	A Fast Partial Distortion Elimination Algorithm Using Dithering Matching Pattern.	DCC	2009	DBLP DOI BibTeX RDF
21	Aless Lasaruk, Thomas Sturm 0001	Effective Quantifier Elimination for Presburger Arithmetic with Infinity.	CASC	2009	DBLP DOI BibTeX RDF
21	Dong Chen, Jiandong Li 0001, Jing Ma	Spectrum sensing based on linear self-signal elimination for opportunistic spectrum access.	PIMRC	2008	DBLP DOI BibTeX RDF
21	Christian Dax, Felix Klaedtke	Alternation Elimination by Complementation (Extended Abstract).	LPAR	2008	DBLP DOI BibTeX RDF
21	David Monniaux	A Quantifier Elimination Algorithm for Linear Real Arithmetic.	LPAR	2008	DBLP DOI BibTeX RDF
21	Sudipto Guha, Andrew McGregor 0001	Tight Lower Bounds for Multi-pass Stream Computation Via Pass Elimination.	ICALP (1)	2008	DBLP DOI BibTeX RDF
21	Mariano Ceccato, Paolo Tonella, Cristina Matteotti	Goto Elimination Strategies in the Migration of Legacy Code to Java.	CSMR	2008	DBLP DOI BibTeX RDF
21	Kentaro Kikuchi, Stéphane Lengrand	Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.	FoSSaCS	2008	DBLP DOI BibTeX RDF
21	Junyeong Yang, Hyeran Byun	Feature extraction method based on cascade noise elimination for sketch recognition.	ICPR	2008	DBLP DOI BibTeX RDF
21	Guojun Zhang, Enmin Song, Guangzhi Ma, Wei Zhang	Attribute Reduction Algorithm Research Based on Rough Core and Back Elimination.	ICYCS	2008	DBLP DOI BibTeX RDF
21	Arnon Avron, Anna Zamansky	A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.	CSR	2008	DBLP DOI BibTeX RDF
21	Xue-Qiang Zeng, Guo-Zheng Li 0001, Jack Y. Yang, Mary Qu Yang	A Novel Metric for Redundant Gene Elimination Based on Discriminative Contribution.	ISBRA	2008	DBLP DOI BibTeX RDF
21	Renate A. Schmidt	Improved Second-Order Quantifier Elimination in Modal Logic.	JELIA	2008	DBLP DOI BibTeX RDF
21	Norihiro Kamide	Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.	CLIMA	2008	DBLP DOI BibTeX RDF
21	Matteo Cristani, Alessio Gugole	Ontology-Driven Approximate Duplicate Elimination of Postal Addresses.	IEA/AIE	2008	DBLP DOI BibTeX RDF
21	Tae-Kyung Ryu, Kwang-Seok Moon, Jong-Nam Kim	Fast Partial Distortion Elimination Algorithm Using Probability Improvement of Sub-block Uniform Distribution.	ISICA	2008	DBLP DOI BibTeX RDF
21	Olivier Hermant, James Lipton	A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.	CSL	2008	DBLP DOI BibTeX RDF
21	Matthew J. Baker, Jingtai Xi, Joe F. Chicharo	Elimination of Gamma Non-linear Luminance Effects for Digital Video Projection Phase Measuring Profilometers.	DELTA	2008	DBLP DOI BibTeX RDF	Gamma, Non-linear Luminance, Fringe, Profilometry, PMP, Digital, Harmonics, Focusing, Defocus
21	Zainal Ahmad, Rabiatul Adawiah Mat Noor	Improving Multi Step-Ahead Model Prediction through Backward Elimination Method in Multiple Neural Networks Combination.	ICONIP (2)	2008	DBLP DOI BibTeX RDF
21	Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó	Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Radical ideal, matrix of traces, clusters, symbolic-numeric computation
21	Jing Xiao, Lan Liu 0001, Lirong Xia, Tao Jiang 0001	Fast elimination of redundant linear equations and reconstruction of recombination-free mendelian inheritance on a pedigree.	SODA	2007	DBLP BibTeX RDF
21	Bernard Chen 0001, Stephen Pellicer, Phang C. Tai, Robert W. Harrison, Yi Pan 0001	Super Granular Shrink-SVM Feature Elimination (Super GS-SVM-FE) Model for Protein Sequence Motif Information Extraction.	BIBE	2007	DBLP DOI BibTeX RDF
21	Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner	Adjunct Elimination in Context Logic for Trees.	APLAS	2007	DBLP DOI BibTeX RDF
21	Ching-Hsien Hsu, Yi-Min Chen, Chao-Tung Yang	A Layered Optimization Approach for Redundant Reader Elimination in Wireless RFID Networks.	APSCC	2007	DBLP DOI BibTeX RDF
21	Yang Song 0002, Zhenyu Liu 0001, Takeshi Ikenaga, Satoshi Goto	Enhanced Strict Multilevel Successive Elimination Algorithm for Fast Motion Estimation.	ISCAS	2007	DBLP DOI BibTeX RDF
21	Ki-Tae Kim, Je-Min Kim, Weon-Hee Yoo	Dead Code Elimination in CTOC.	SERA	2007	DBLP DOI BibTeX RDF
21	Aless Lasaruk, Thomas Sturm 0001	Weak Integer Quantifier Elimination Beyond the Linear Case.	CASC	2007	DBLP DOI BibTeX RDF
21	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Optimizing Polynomial Expressions by Algebraic Factorization and Common Subexpression Elimination.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
21	Emma Rollon, Javier Larrosa	Bucket elimination for multiobjective optimization problems.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Dynamic programming, Multiobjective optimization, Global constraints, Decomposition methods
21	Shou-Der Wei, Shao-Wei Liu, Shang-Hong Lai	Fast and Optimal Block Motion Estimation via Adaptive Successive Elimination.	ICIP	2006	DBLP DOI BibTeX RDF
21	R. Nigel Horspool, David J. Pereira, Bernhard Scholz	Fast Profile-Based Partial Redundancy Elimination.	JMLC	2006	DBLP DOI BibTeX RDF
21	Jong-Nam Kim, Tae-Kyung Ryu, Yongjae Jeong	A Fast Partial Distortion Elimination Algorithm Using Selective Matching Scan.	ISCIS	2006	DBLP DOI BibTeX RDF
21	Amine Chaieb	Verifying Mixed Real-Integer Quantifier Elimination.	IJCAR	2006	DBLP DOI BibTeX RDF
21	José E. Gallardo, Carlos Cotta, Antonio J. Fernández 0001	A Memetic Algorithm with Bucket Elimination for the Still Life Problem.	EvoCOP	2006	DBLP DOI BibTeX RDF
21	Mihai Prunescu	Fast Quantifier Elimination Means P = NP.	CiE	2006	DBLP DOI BibTeX RDF
21	Christopher W. Brown 0001, Christian Gross 0003	Efficient Preprocessing Methods for Quantifier Elimination.	CASC	2006	DBLP DOI BibTeX RDF
21	Ha-Nam Nguyen, Syng-Yup Ohn	DRFE: Dynamic Recursive Feature Elimination for Gene Identification Based on Random Forest.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
21	Francesc-Xavier Babot, Miquel Bertran, August Climent	A Static Communication Elimination Algorithm for Distributed System Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
21	Jan G. Bazan, Andrzej Skowron	On-Line Elimination of Non-relevant Parts of Complex Objects in Behavioral Pattern Identification.	PReMI	2005	DBLP DOI BibTeX RDF
21	Mary F. Fernández, Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen	Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions.	DEXA	2005	DBLP DOI BibTeX RDF
21	Niklas Eén, Armin Biere	Effective Preprocessing in SAT Through Variable and Clause Elimination.	SAT	2005	DBLP DOI BibTeX RDF
21	Yoshihiro Shima, Hiroshi Ohya, Michio Yasuda	A Form Dropout Method based on Line-elimination and Image-subtraction.	ICDAR	2005	DBLP DOI BibTeX RDF
21	Yu-Wen Huang, Shao-Yi Chien, Bing-Yu Hsieh, Liang-Gee Chen	Global elimination algorithm and architecture design for fast block matching motion estimation.	IEEE Trans. Circuits Syst. Video Technol.	2004	DBLP DOI BibTeX RDF
21	Chiyan Chen, Dengping Zhu, Hongwei Xi	Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.	PADL	2004	DBLP DOI BibTeX RDF
21	Manel Fernández, Roger Espasa	Link-Time Path-Sensitive Memory Redundancy Elimination.	HPCA	2004	DBLP DOI BibTeX RDF
21	Ahmad Ghazal, Alain Crolotte, Ramesh Bhashyam	Outer Join Elimination in the Teradata RDBMS.	DEXA	2004	DBLP DOI BibTeX RDF
21	Hamid Haidarian Shahri, Ahmad Abdollahzadeh Barforoush	A Flexible Fuzzy Expert System for Fuzzy Duplicate Elimination in Data Cleaning.	DEXA	2004	DBLP DOI BibTeX RDF
21	Jinbo Huang, Adnan Darwiche	Toward Good Elimination Orders for Symbolic SAT Solving.	ICTAI	2004	DBLP DOI BibTeX RDF
21	Rei Odaira, Kei Hiraki	Partial Value Number Redundancy Elimination.	LCPC	2004	DBLP DOI BibTeX RDF
21	Ce Zhu, Wei-Song Qi, Wee Ser	A new successive elimination algorithm for fast block matching in motion estimation.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
21	Andrew G. Dempster, Malcolm D. Macleod	Using all signed-digit representations to design single integer multipliers using subexpression elimination.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
21	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Common Subexpression Elimination Involving Multiple Variables for Linear DSP Synthesis.	ASAP	2004	DBLP DOI BibTeX RDF
21	Peter Z. Revesz	Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints.	ADBIS	2004	DBLP DOI BibTeX RDF
21	Barbara Morawska 0001	Completeness of E-Unification with Eager Variable Elimination.	LPAR	2003	DBLP DOI BibTeX RDF
21	Naoki Kobayashi 0001	Useless Code Elimination and Programm Slicing for the Pi-Calculus.	APLAS	2003	DBLP DOI BibTeX RDF
21	Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool	Partial Redundancy Elimination with Predication Techniques.	Euro-Par	2003	DBLP DOI BibTeX RDF
21	Christoph von Praun, Florian T. Schneider, Thomas R. Gross	Load Elimination in the Presence of Side Effects, Concurrency and Precise Exceptions.	LCPC	2003	DBLP DOI BibTeX RDF
21	Keith D. Cooper, Li Xu	Memory Redundancy Elimination to Improve Application Energy Efficiency.	LCPC	2003	DBLP DOI BibTeX RDF
21	Anastasia Papazafeiropoulou, Athanasia Pouloudi	Applying the normative aspect of stakeholder analysis to electronic commerce diffusion: Stakeholder consideration for the elimination of the digital divide.	HICSS	2003	DBLP DOI BibTeX RDF
21	Gilles Dowek	Confluence as a Cut Elimination Property.	RTA	2003	DBLP DOI BibTeX RDF
21	Dan Gusfield, Charles U. Martel	The Structure and Complexity of Sports Elimination Numbers.	Algorithmica	2002	DBLP DOI BibTeX RDF	Algorithms, Combinatorial optimization, Network flow, Sports, Baseball
21	Mikel Luján, John R. Gurd, T. L. Freeman, José Miguel-Alonso	Elimination of Java array bounds checks in the presence of indirection.	Java Grande	2002	DBLP DOI BibTeX RDF	array indirection, Java, array bounds check
21	S. F. McGinn, Ruth E. Shaw	Parallel Gaussian Elimination Using OpenMP and MPI.	HPCS	2002	DBLP DOI BibTeX RDF
21	Matthias Baaz, Agata Ciabattoni	A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
21	Martine Ceberio, Laurent Granvilliers	Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods.	FroCoS	2002	DBLP DOI BibTeX RDF
21	Birgit Elbl	Cut elimination for a calculus with context-dependent rules.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55
21	Matthias Baaz, Alexander Leitsch	Comparing the Complexity of Cut-Elimination Methods.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF
21	James Laird	A Deconstruction of Non-deterministic Classical Cut Elimination.	TLCA	2001	DBLP DOI BibTeX RDF
21	Adam Fischbach, John Hannan	Type Systems for Useless-Variable Elimination.	PADO	2001	DBLP DOI BibTeX RDF
21	Scott McCallum	On propagation of equational constraints in CAD-based quantifier elimination.	ISSAC	2001	DBLP DOI BibTeX RDF
21	Hongbo Li 0012, Yihong Wu 0002	Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF