Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Christian Urban, Bozhi Zhu	Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof.	RTA	2008	DBLP DOI BibTeX RDF
16	Arquimedes Canedo, Masahiro Sowa, Ben A. Abderazek	Quantitative Evaluation of Common Subexpression Elimination on Queue Machines.	ISPAN	2008	DBLP DOI BibTeX RDF	Queue Computation Model, Queue Processor, Optimization, Compiler
16	Bosheng Zhou, Alan Marshall 0001, Tsung-Han Lee	A k-Round Elimination Contention Scheme for WLANs.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	Wireless communication, Network Protocols, Access schemes
16	Wu-An Kuo, Yi-Ling Chiang, TingTing Hwang, Allen C.-H. Wu	Performance-Driven Crosstalk Elimination at Postcompiler Level-The Case of Low-Crosstalk Op-Code Assignment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
16	Chih-Wei Liu, Chung-Chin Lu	A View of Gaussian Elimination Applied to Early-Stopped Berlekamp-Massey Algorithm.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
16	Chih-Wei Liu, Chung-Chin Lu	A View of Gaussian Elimination Applied to Early Stopped Berklekamp-Massey Algorithm.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
16	Pierluigi Minari	Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B40, 03F03, 03F07, 03F05
16	Yuji Chiba	Redundant boxing elimination by a dynamic compiler for Java.	PPPJ	2007	DBLP DOI BibTeX RDF	auto-boxing, Java, optimization
16	Fabián García Nocetti, Francisco Javier Ovalle-Martínez, Julio Solano-González, Ivan Stojmenovic	The Impact of Delay in Dominating Set and Neighbor Elimination Based Broadcasting in Ad Hoc Networks.	ADHOC-NOW	2007	DBLP DOI BibTeX RDF
16	Bernhard Scholz, Johann Blieberger	A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees.	CC	2007	DBLP DOI BibTeX RDF
16	Elizabeth Novoa	Simple Model-Based Exploration and Exploitation of Markov Decision Processes Using the Elimination Algorithm.	MICAI	2007	DBLP DOI BibTeX RDF
16	Sivan Toledo, Anatoli Uchitel	A Supernodal Out-of-Core Sparse Gaussian-Elimination Method.	PPAM	2007	DBLP DOI BibTeX RDF
16	Kavallur Gopi Smitha, A. Prasad Vinod 0001	A New Binary Common Subexpression Elimination Method for Implementing Low Complexity FIR Filters.	ISCAS	2007	DBLP DOI BibTeX RDF
16	S. Vijay, A. Prasad Vinod 0001, Edmund Ming-Kit Lai	A Greedy Common Subexpression Elimination Algorithm for Implementing FIR Filters.	ISCAS	2007	DBLP DOI BibTeX RDF
16	Yiyang Zhao, Yunhao Liu 0001, Lionel M. Ni	VIRE: Active RFID-based Localization Using Virtual Reference Elimination.	ICPP	2007	DBLP DOI BibTeX RDF
16	Ugur Kuter, Jiaqiao Hu	Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning.	SARA	2007	DBLP DOI BibTeX RDF
16	Wilhelm Plesken, Daniel Robertz	Some Elimination Problems for Matrices.	CASC	2007	DBLP DOI BibTeX RDF
16	David Johan Christensen, David Brandt, Ulrik Pagh Schultz, Kasper Støy	Neighbor detection and crosstalk elimination in self-reconfigurable robots.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
16	Elena Kartashova, Scott McCallum	Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
16	Marcin Mucha, Piotr Sankowski	Maximum Matchings in Planar Graphs via Gaussian Elimination.	Algorithmica	2006	DBLP DOI BibTeX RDF	Planar graphs, Maximum matching, Fast matrix multiplication
16	Chih-Yang Lin, Wen-Jeng Lee, Shyh-Jye Chen, Ching-Hwa Tsai, Jei-Han Lee, Chia-Hung Chang, Yu-Tai Ching	A Study of Grid Artifacts Formation and Elimination in Computed Radiographic Images.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	Moiré, Bucky, grid, aliasing, computed radiography
16	Mirjana Borisavljevic	A Connection Between Cut Elimination and Normalization.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
16	Mala L. Radhakrishnan, Sara L. Su	Dead-End Elimination as a Heuristic for Min-Cut Image Segmentation.	ICIP	2006	DBLP DOI BibTeX RDF
16	Ivelin Georgiev, Ryan H. Lilien, Bruce Randall Donald	A Novel Minimized Dead-End Elimination Criterion and Its Application to Protein Redesign in a Hybrid Scoring and Search Algorithm for Computing Partition Functions over Molecular Ensembles.	RECOMB	2006	DBLP DOI BibTeX RDF
16	Yevgen Biletskiy, David Hirtle, Olga Vorochek	Toward the Identification and Elimination of Semantic Conflicts for the Integration of RuleML-based Ontologies.	CSWWS	2006	DBLP DOI BibTeX RDF
16	Liefeng Bo, Ling Wang 0003, Licheng Jiao	Sparse Gaussian Processes Using Backward Elimination.	ISNN (1)	2006	DBLP DOI BibTeX RDF
16	Motoaki Mouri, Arao Funase, Andrzej Cichocki, Ichi Takumi, Hiroshi Yasukawa, Masayasu Hata	Global Noise Elimination from ELF Band Electromagnetic Signals by Independent Component Analysis.	ICA	2006	DBLP DOI BibTeX RDF
16	Andrey Bogdanov, M. C. Mertens, Christof Paar, Jan Pelzl, Andy Rupp	A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2).	FCCM	2006	DBLP DOI BibTeX RDF
16	Grigori Mints	Unwinding a Non-effective Cut Elimination Proof.	CSR	2006	DBLP DOI BibTeX RDF
16	Roy Dyckhoff, Delia Kesner, Stéphane Lengrand	Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.	IJCAR	2006	DBLP DOI BibTeX RDF
16	Leonardo Aparecido Ciscon, Humberto Cesar Brandao de Oliveira, Michelle Cristina Alves Andrade, Guilherme Bastos Alvarenga, Ahmed Ali Abdalla Esmin	The School Timetabling Problem: A Focus on Elimination of Open Periods and Isolated Classes.	HIS	2006	DBLP DOI BibTeX RDF
16	R. Mahesh 0001, A. Prasad Vinod 0001	A new common subexpression elimination algorithm for implementing low complexity FIR filters in software defined radio receivers.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Filipe C. C. Beltrao Diniz, Sergio L. Netto, Paulo M. T. de Oliveira, Márcio N. de Souza	On the wavelet-based elimination of stimulus artifacts in click-evoked otoacoustic emissions.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Wu-An Kuo, Yi-Ling Chiang, TingTing Hwang, Allen C.-H. Wu	Performance-driven crosstalk elimination at post-compiler level.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Lázaro Marco, Eduard Alarcón, Dragan Maksimovic	Effects of switching power converter nonidealities in envelope elimination and restoration technique.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Emma Rollon, Javier Larrosa	Mini-bucket Elimination with Bucket Propagation.	CP	2006	DBLP DOI BibTeX RDF
16	Lu Yang, Bican Xia	Quantifier Elimination for Quartics.	AISC	2006	DBLP DOI BibTeX RDF
16	Justin Bedo, Conrad Sanderson, Adam Kowalczyk	An Efficient Alternative to SVM Based Recursive Feature Elimination with Applications in Natural Language Processing and Bioinformatics.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
16	Thomas Sturm 0001	New Domains for Applied Quantifier Elimination.	CASC	2006	DBLP DOI BibTeX RDF
16	Edward A. Hirsch, Arist Kojevnikov	UnitWalk: A new SAT solver that uses local search guided by unit clause elimination.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	local search, empirical evaluation, Boolean satisfiability
16	Bartolomeo Montrucchio, Davide Quaglia	New sorting-based lossless motion estimation algorithms and a partial distortion elimination performance analysis.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
16	A. Prasad Vinod 0001, Edmund Ming-Kit Lai	On the implementation of efficient channel filters for wideband receivers by optimizing common subexpression elimination methods.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
16	Tarek Darwish, Magdy A. Bayoumi	Coefficient Elimination Algorithm for Low Energy Distributed Arithmetic DCT Architectures.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	VLSI, DCT, video compression, low energy, distributed arithmetic
16	Ewa Orlowska, Andrzej Szalas	Quantifier Elimination in Elementary Set Theory.	RelMiCS	2005	DBLP DOI BibTeX RDF
16	Amine Chaieb, Tobias Nipkow	Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic.	LPAR	2005	DBLP DOI BibTeX RDF
16	Chao Wang 0001, Franjo Ivancic, Malay K. Ganai, Aarti Gupta	Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.	LPAR	2005	DBLP DOI BibTeX RDF
16	Francisco Ortiz, Fernando Torres Medina, Pablo Gil	A Comparative Study of Highlights Detection and Elimination by Color Morphology and Polar Color Models.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
16	Kedarnath J. Balakrishnan, Nur A. Touba	Reconfigurable Linear Decompressors Using Symbolic Gaussian Elimination.	DATE	2005	DBLP DOI BibTeX RDF
16	Mirco Pieper, Anton Kummert	Elimination of Exposure Artifacts in Predicted Images by Means of an Adaptive Circular Median Filter.	ICITA (1)	2005	DBLP DOI BibTeX RDF
16	Masaki Hasegawa, Subhash Bhalla, Laurence Tianruo Yang	Elimination of Non-deterministic Delays in a Real-Time Database System.	ICESS	2005	DBLP DOI BibTeX RDF
16	Andrés Cano, Francisco Javier García Castellano, Andrés R. Masegosa, Serafín Moral	Selective Gaussian Naïve Bayes Model for Diffuse Large-B-Cell Lymphoma Classification: Some Improvements in Preprocessing and Variable Elimination.	ECSQARU	2005	DBLP DOI BibTeX RDF
16	Franck van Breugel, Mariya Koshkina	Dead-Path-Elimination in BPEL4WS.	ACSD	2005	DBLP DOI BibTeX RDF
16	Lina Peng, K. Selçuk Candan	Confidence-driven early object elimination in quality-aware sensor workflows.	DMSN	2005	DBLP DOI BibTeX RDF	sensor workflows, data stream management
16	Francisco Ortiz, Fernando Torres Medina	A New Inpainting Method for Highlights Elimination by Colour Morphology.	ICAPR (2)	2005	DBLP DOI BibTeX RDF
16	Qiu-Zhong Wu, Yi-He Sun	An Integrated CAD Tool for ASIC Implementation of Multiplierless FIR Filters with Common Sub-expression Elimination Optimization.	ESTIMedia	2005	DBLP DOI BibTeX RDF
16	Nissim Francez	Lambek-Calculus with General Elimination Rules and Continuation Semantics.	LACL	2005	DBLP DOI BibTeX RDF
16	A. Prasad Vinod 0001, Edmund Ming-Kit Lai	Optimizing vertical common subexpression elimination using coefficient partitioning for designing low complexity software radio channelizers.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
16	A. Prasad Vinod 0001, Edmund Ming-Kit Lai	Comparison of the horizontal and the vertical common subexpression elimination methods for realizing digital filters.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
16	Yasuhiro Takahashi, Michio Yokoyama	New cost-effective VLSI implementation of multiplierless FIR filter using common subexpression elimination.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
16	Fei Xu, Chip-Hong Chang, Ching-Chuen Jong	I2CRA: contention resolution algorithm for intra- and inter-coefficient common subexpression elimination.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
16	Emma Rollon, Javier Larrosa	Depth-First Mini-Bucket Elimination.	CP	2005	DBLP DOI BibTeX RDF
16	Toshio Endo, Kenjiro Taura	Highly latency tolerant Gaussian elimination.	GRID	2005	DBLP DOI BibTeX RDF
16	Kameshwar Chandrasekar, Michael S. Hsiao	Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs.	VLSI Design	2005	DBLP DOI BibTeX RDF
16	Dajun Wu, Keng Lim, Si Wu 0004, Zhicheng Zhou, Chi Chung Ko	Fast Intra 4X4 Mode Elimination Approaches for H.264.	VLBV	2005	DBLP DOI BibTeX RDF
16	Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner	Formal Verification of Dead Code Elimination in Isabelle/HOL.	SEFM	2005	DBLP DOI BibTeX RDF
16	Thomas Sturm 0001	Quantifier Elimination for Constraint Logic Programming.	CASC	2005	DBLP DOI BibTeX RDF
16	Tae Gyoung Ahn, Yong Ho Moon, Jae Ho Kim	Fast full-search motion estimation based on multilevel successive elimination algorithm.	IEEE Trans. Circuits Syst. Video Technol.	2004	DBLP DOI BibTeX RDF
16	Bernhard Scholz, R. Nigel Horspool, Jens Knoop	Optimizing for space and time usage with speculative partial redundancy elimination.	LCTES	2004	DBLP DOI BibTeX RDF	partial redundancy, speculation, code motion, profile-guided optimization, common subexpressions
16	Marcin Mucha, Piotr Sankowski	Maximum Matchings in Planar Graphs via Gaussian Elimination.	ESA	2004	DBLP DOI BibTeX RDF
16	Thomas VanDrunen, Antony L. Hosking	Value-Based Partial Redundancy Elimination.	CC	2004	DBLP DOI BibTeX RDF
16	Qiong Cai, Lin Gao 0002, Jingling Xue	Region-Based Partial Dead Code Elimination on Predicated Code.	CC	2004	DBLP DOI BibTeX RDF
16	Volker Weispfenning	Solving Constraints by Elimination Methods.	IJCAR	2004	DBLP DOI BibTeX RDF
16	Sathiamoorthy Subbarayan, Dhiraj K. Pradhan	NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
16	Hyun Soo Kang	A Fast Successive Elimination Algorithm for Multiple Reference Images.	MIPS	2004	DBLP DOI BibTeX RDF
16	Andrew G. Dempster, Malcolm D. Macleod	Digital filter design using subexpression elimination and all signed-digit representations.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
16	Johnny Park, Avinash C. Kak	Specularity Elimination in Range Sensing for Accurate 3D Modeling of Specular Objects.	3DPVT	2004	DBLP DOI BibTeX RDF
16	Luís Caires, Étienne Lozes	Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.	CONCUR	2004	DBLP DOI BibTeX RDF
16	George Potamias, Lefteris Koumakis, Vassilis Moustakis	Gene Selection via Discretized Gene-Expression Profiles and Greedy Feature-Elimination.	SETN	2004	DBLP DOI BibTeX RDF
16	Sunita Sarawagi, Alok Kirpal	Scaling up the ALIAS Duplicate Elimination System.	ICDE	2003	DBLP DOI BibTeX RDF
16	Qiong Cai, Jingling Xue	Optimal and Efficient Speculation-Based Partial Redundancy Elimination.	CGO	2003	DBLP DOI BibTeX RDF
16	Allan Hanbury, Paul Kammerer, Ernestine Zolda	Painting crack elimination using viscous morphological reconstruction.	ICIAP	2003	DBLP DOI BibTeX RDF
16	Fedor V. Fomin, Pinar Heggernes, Jan Arne Telle	Graph Searching, Elimination Trees, and a Generalization of Bandwidth.	FCT	2003	DBLP DOI BibTeX RDF
16	Alexandre Tiskin	Communication-Efficient Parallel Gaussian Elimination.	PaCT	2003	DBLP DOI BibTeX RDF
16	Yasuhiko Minamide	Selective Tail Call Elimination.	SAS	2003	DBLP DOI BibTeX RDF
16	Masud H. Chowdhury, Chirayu S. Amin, Yehea I. Ismail, Chandramouli V. Kashyap, Byron Krauter	Realizable reduction of RLC circuits using node elimination.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
16	Mohamed Tadjouddine, Shaun A. Forth, John D. Pryce	Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
16	Javier Larrosa, Enric Morancho	Solving 'Still Life' with Soft Constraints and Bucket Elimination.	CP	2003	DBLP DOI BibTeX RDF
16	Chang-da Wang 0001, Shiguang Ju, Dianchun Guo, Zhen Yang, Wen-yi Zheng	Research on the Methods of Search and Elimination in Covert Channels.	GCC (1)	2003	DBLP DOI BibTeX RDF
16	Nicolai N. Vorobjov Jr.	Effective Quantifier Elimination over Real Closed Fields (Tutorial).	CSL	2003	DBLP DOI BibTeX RDF
16	Elizabeth L. Mansfield, Ágnes Szántó	Elimination theory for differential difference polynomials.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner basis, differential polynomial, ore algebra, difference equation
16	Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Kemal Ebcioglu	Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	enhanced pipeline scheduling, unrolling, modulo variable expansion, iterated coalescing, register allocation, Software pipelining, modulo scheduling, renaming, coalescing
16	Ivan Stojmenovic, Mahtab Seddigh, Jovisa D. Zunic	Dominating Sets and Neighbor Elimination-Based Broadcasting Algorithms in Wireless Networks.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	clustering, wireless networks, distributed algorithms, Broadcasting, dominating sets
16	H. Safiri, Majid Ahmadi, Graham A. Jullien, William C. Miller	A New Algorithm for the Elimination of Common Subexpressions in Hardware Implementation of Digital Filters by Using Genetic Programming.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	genetic algorithm, ASIC, digital filter, integer multiplication, common subexpressions
16	Hongbo Li 0012	Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF	Cayley algebra, bracket algebra, affine geometry, automated theorem proving, projective geometry, conics
16	Luigi Di Lascio	Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic.	SEKE	2002	DBLP DOI BibTeX RDF	cut rule, fuzzy prepositional logic, galois relation, pavelka semantics, completeness, soundness, MV-algebra, tableaux
16	Mohan G. Kabadi, Natarajan Kannan, Palanidaran Chidambaram, Suriya Narayanan, M. Subramanian, Ranjani Parthasarathi	Dead-Block Elimination in Cache: A Mechanism to Reduce I-cache Power Consumption in High Performance Microprocessors.	HiPC	2002	DBLP DOI BibTeX RDF
16	B. S. Panda 0001, Sajal K. Das 0001	An Efficient Parallel Algorithm for Computing Bicompatible Elimination Ordering (BCO) of Proper Interval Graphs.	HiPC	2002	DBLP DOI BibTeX RDF
16	Shu-Chuan Chu, John F. Roddick, Jeng-Shyang Pan 0001	An Efficient K -Medoids-Based Algorithm Using Previous Medoid Index, Triangular Inequality Elimination Criteria, and Partial Distance Search.	DaWaK	2002	DBLP DOI BibTeX RDF
16	Mohamed Tadjouddine, Shaun A. Forth, John D. Pryce, John K. Reid	Performance Issues for Vertex Elimination Methods in Computing Jacobians Using Automatic Differentiation.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
16	Andrzej Szalas	Second-Order Quantifier Elimination in Modal Contexts.	JELIA	2002	DBLP DOI BibTeX RDF