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 |
|