Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Vasant B. Rao, Jeffrey Soreff, Ravichander Ledalla, Fred L. Yang	Aggressive crunching of extracted RC netlists.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	RC reduction, TICER, crunching, node elimination, resistor shorting, time constants, interconnect modeling, elmore delay
18	Hoon Hong	Ore Principal Subresultant Coefficients in Solutions.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Ore polynomials, Resultants, Subresultants, Elimination theory
18	Pramod G. Joisha, Prithviraj Banerjee	The Efficient Computation of Ownership Sets in HPF.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	array alignment, array distribution, ownership set, Fourier-Motzkin Elimination technique, parallelizing compiler, HPF
18	Hervé Fournier	Quantifier Rank for Parity of Embedded Finite Models.	MFCS	2001	DBLP DOI BibTeX RDF	Ehrenfeucht-Fraïssé games, Uniform Quantifier Elimination, Connectivity, Reachability, Parity, Constraint databases
18	Helena Galhardas, Daniela Florescu, Dennis E. Shasha, Eric Simon	An Extensible Framework for Data Cleaning.	ICDE	2000	DBLP DOI BibTeX RDF	query optimization, query language, data quality, data cleaning, data transformation, object matching, duplicate elimination, approximate join
18	Oliver Rüthing, Jens Knoop, Bernhard Steffen	Sparse Code Motion.	POPL	2000	DBLP DOI BibTeX RDF	busy code motion, compuational optimality, embedded processors and systems, expression motion, lazy code motion, life-time optimality, code motion, partial redundancy elimination, code size, space optimality
18	Chen Ding, Ken Kennedy	The Memory Bandwidth Bottleneck and its Amelioration by a Compiler.	IPDPS	2000	DBLP DOI BibTeX RDF	memory performance model, array reduction, store elimination, memory hierarchy, compiler optimizations, Memory bandwidth, loop fusion
18	Khaled Ben Lamine, Froduald Kabanza	History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots.	ICTAI	2000	DBLP DOI BibTeX RDF	temporal fuzzy logic, behavior-based mobile robots, robot control systems, real world robots, simulator, semantics, fuzzy logic, temporal logic, mobile robots, digital simulation, distributed control, failure detection, noise elimination
18	Tina Wong, Randy H. Katz	An Analysis of Multicast Forwarding State Scalability.	ICNP	2000	DBLP DOI BibTeX RDF	multicast forwarding state scalability, inter-domain multicast deployment, state reduction research, multicast application characteristics, Internet backbone networks, core domains, session size, nonbranching multicast forwarding state elimination, Internet, transport protocols, packet switching, network topology, network topologies, power law, multicast communication, IP multicast, simulation experiments, packet transmission
18	Jean-Guillaume Dumas, B. David Saunders, Gilles Villard	Integer Smith form via the valence: experience with large sparse matrices from homology.	ISSAC	2000	DBLP DOI BibTeX RDF	Valence algorithm, Wiedemann algorithm, integer Smith form, large sparse matrix, Gaussian elimination, black box, simplicial complexes, homology groups
18	Xiangyun Ye, Mohamed Cheriet, Ching Y. Suen, Ke Liu 0009	Extraction of bankcheck items by mathematical morphology.	Int. J. Document Anal. Recognit.	1999	DBLP DOI BibTeX RDF	Check image processing, Baseline elimination, Local thresholding binarization, Gray level mathematical morphology, Goal-directed evaluation
18	Sanjay V. Rajopadhye, Claude Tadonki, Tanguy Risset	The Algebraic Path Problem Revisited.	Euro-Par	1999	DBLP DOI BibTeX RDF	Warshall-Floyd & Gauss-Jordan elimination, systolic synthesis, recurrence equations, scheduling, shortest path, transitive closure, matrix inversion, space-time mapping
18	Djemai Kebbal, El-Ghazali Talbi, Jean-Marc Geib	Building and Scheduling Parallel Adaptive Applications in Heterogeneous Environments.	IWCC	1999	DBLP DOI BibTeX RDF	parallel adaptive systems, Gauss elimination, scheduling, cluster computing, heterogeneous environments
18	Masahiro Yasugi, Shegeyuki Eguchi, Kazuo Taki	Eliminating Bottlenecks on Parallel Systems using Adaptive Objects.	IEEE PACT	1998	DBLP DOI BibTeX RDF	bottleneck elimination, adaptive object, distributed shared object, mutual exclusion, parallel language, concurrent access, method dispatch
18	Vivek Sarkar, Kathleen Knobe	Enabling Sparse Constant Propagation of Array Elements via Array SSA Form.	SAS	1998	DBLP DOI BibTeX RDF	static single assignment (SSA) form, conditional constant propagation, Array SSA form, unreachable code elimination, constant propagation
18	Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao	Heap Analysis and Optimizations for Threaded Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis
18	Hiroshi Shinjo, Kazuki Nakashima, Masashi Koga, Katsumi Marukawa, Yoshihiro Shima, Eiichi Hadano	A method for connecting disappeared junction patterns on frame lines in form documents.	ICDAR	1997	DBLP DOI BibTeX RDF	disappeared junction pattern connection, frame lines, form document structure analysis, vertical lines, minimum line length parameter, object line selection, form images, character recognition, noise elimination, business forms
18	Manish Gupta 0002, Edith Schonberg, Harini Srinivasan	A Unified Framework for Optimizing Communication in Data-Parallel Programs.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Array section descriptors, data-flow analysis, data-parallelism, High Performance Fortran, communication optimizations, partial redundancy elimination, data availability
18	Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001	Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	assignment motion, bitvector problems, definition-use chains, partial dead-code elimination, parallelism, synchronization, shared memory, data flow analysis, program optimization, code motion, strength reduction, interleaving semantics
18	Li-Ren Huang, Jing-Yang Jou, Sy-Yen Kuo	An Efficient PRPG Strategy By Utilizing Essential Faults.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	PRPG, essential fault, multiple polynomial, Gauss elimination, pseudorandom test pattern, multivariable linear equation, deterministic test set, random pattern resistant circuit, don't care value, intelligent heuristic, ISCAS-85 benchmark, ISCAS-89 benchmark, built-in self test, BIST, fault coverage, LFSR, test length, hardware overhead, multiple seed
18	Florent de Dinechin, Sophie Robert	Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations.	ASAP	1996	DBLP DOI BibTeX RDF	hierarchical static analysis, structured systems, ALPHA language, polyhedral domains, complex algorithms, parameterized structures, ALPHA programs, type-checking process, single assignment rule, programming environments, program verification, specification languages, Gaussian elimination, affine recurrence equations
18	Giorgio Carpaneto, Mauro Dell'Amico, Paolo Toth	Exact Solution of Large Scale Asymmetric Travelling Salesman Problems.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	reduction procedure, subtour elimination, branch and bound, assignment problem, asymmetric traveling salesman problem
18	Stephen J. Sullivan, Benjamin G. Zorn	Numerical Analysis Using Nonprocedural Paradigms.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	experimental languages, benchmarks, programming languages, linear algebra, sparse matrices, Gaussian elimination
18	Kyle A. Gallivan, Per Christian Hansen, Tzvetan Ostromsky, Zahari Zlatev	Locally Optimized Reordering Algorithm and its Application to a Parallel Sparse Linear System Solver.	Computing	1995	DBLP DOI BibTeX RDF	general sparsity, drop tolerance, re-ordering, binary tree, Gaussian elimination, Sparse matrix, speed-up, block algorithm, coarse-grain parallelism
18	Steffen Müller	A new programmable VLSI architecture for histogram and statistics computation in different windows.	ICIP	1995	DBLP DOI BibTeX RDF	programmable VLSI architecture, histogram computation, grey-scale histogram, image preprocessing methods, inhomogeneous illumination elimination, simple increment operations, histogrammer, window handling, arithmetic unit configuration, memory configuration, equalisation, simulation, image segmentation, VLSI, segmentation, data compression, data compression, statistics, image enhancement, image enhancement, texture analysis, image texture, digital signal processing chips, CMOS technology, binary images, CMOS digital integrated circuits, co-occurrence-matrix, statistics computation
18	Jens Knoop, Oliver Rüthing, Bernhard Steffen	The Power of Assignment Motion.	PLDI	1995	DBLP DOI BibTeX RDF	assignment motion, bit-vector data flow analyses, partially redundant assignment and expression elimination, data flow analysis, program optimization, code motion
18	Mahesh Mehendale, Sunil D. Sherlekar, G. Venkatesh 0001	Synthesis of multiplier-less FIR filters with minimum number of additions.	ICCAD	1995	DBLP DOI BibTeX RDF	MCM based structures, iterative elimination, low pass FIR filters, circuit CAD, FIR filters, network synthesis, optimizing transformations, binary representations
18	Taosong He, Lichan Hong, Arie E. Kaufman, Amitabh Varshney, Sidney W. Wang	Voxel Based Object Simplification.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	voxel based object simplification, high-frequency detail elimination, multi-resolution volume buffers, marching cubes algorithm, multi-resolution triangle-mesh hierarchy, object genus, multi-layered mesh, antialiased rendering, sampling, data visualisation, mesh generation, buffer storage, antialiasing, rendering (computer graphics), smoothing methods, low-pass filters, low-pass filtering
18	Sangho Ha, Sangyong Han, Heunghwan Kim	Partitioning a lenient parallel language into sequential threads.	HICSS (2)	1995	DBLP DOI BibTeX RDF	lenient parallel language, language partitioning, sequential threads, multithreaded architecture performance, large-scale parallel system, split-phase memory operations, fast context switching, multithreaded code quality, enhanced thread formation scheme, Id/sup -/, long latency instructions, multiple switches, generalized switch-and-merge, thread merging, redundant arc elimination, thread precedence relations, control instructions, DAVRID multithreaded architecture, simulation, graph theory, parallel architectures, graph partitioning, switching, merging, parallel languages, large-scale systems, program control structures, branch instructions
18	Dar-Shyang Lee, Sargur N. Srihari	A theory of classifier combination: the neural network approach.	ICDAR	1995	DBLP DOI BibTeX RDF	combinator design, omnitype mixed type combination, correlated classifier combination, redundant classifier elimination, model complexity control, dynamic selection combination, neural network learning, learning (artificial intelligence), optical character recognition, image classification, multilayer perceptrons, classifier combination, feedforward neural nets, classifier design, handwritten digits
18	Lars Wiedenhifer, Hans-Günther Hein, Andreas Dengel 0001	Post-processing of OCR results for automatic indexing.	ICDAR	1995	DBLP DOI BibTeX RDF	OCR result post-processing, inaccurately recognized OCR text, index terms, document quality, character hypothesis lattices, generate-and-test, rule based substitution system, trigram correction, word candidates, elimination routine, German words, classification, classification, indexing, knowledge based systems, experiments, optical character recognition, quality, document image processing, morphology, vocabulary, word recognition, automatic indexing, document archiving
18	Alan Edelman, Steve Heller, S. Lennart Johnsson	Index Transformation Algorithms in a Linear Algebra Framework.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	indextransformation algorithms, linear algebra framework, Gray code encoding, vector reversal, hypercube communications algorithms, Gauss-Jordan elimination, encoding, hypercube networks, decoding, decoding, linear algebra, Gray codes, shuffles, hypercube multiprocessors, matrix transpose, bit reversal
18	Josep Lluís Larriba-Pey, Juan J. Navarro, Oriol Roig, Angel Jorba	A generalized vision of some parallel bidiagonal systems solvers.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	r-cyclic reduction, vector uniprocessors, divide and conquer, Gaussian elimination, linear recurrences
18	Giuseppe Iazeolla, Francesco Marinuzzi	LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	LISPACK, list-manipulation parallel-modeling package, string manipulation, recursive elimination, large Markovian process, symbolic-approach methodology, performance evaluation, parallel algorithms, parallel algorithms, performance analysis, parallel processing, software tool, software tools, Markov processes, parallel systems, lumping
18	Wolfgang Ertel	OR-Parallel Theorem Proving with Random Competition.	LPAR	1992	DBLP DOI BibTeX RDF	random competition, SETHEO, theorem proving, speedup, OR-parallelism, random search, model elimination
18	Yih-Farn Chen, Michael Y. Nishimoto, C. V. Ramamoorthy	The C Information Abstraction System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	C information abstraction system, relational information, software tasks, graphical views, subsystem extraction, program layering, binding analysis, data structures, relational databases, conceptual model, programming, C language, program structures, C programs, dead code elimination, relational views
18	Michael M. Marefat, Rangasami L. Kashyap	Geometric Reasoning for Recognition of Three-Dimensional Object Features.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	topologic evidence, three-dimensional object features, manufacturing shape features, cavity graphs, hypothesis generation-elimination, primitive features, Dempster-Shafer decision theory, clustering, pattern recognition, pattern recognition, feature extraction, graph theory, decision theory, geometric reasoning, polyhedral object
18	Johann Schumann, Reinhold Letz	PARTHEO: A High-Performance Parallel Theorem Prover.	CADE	1990	DBLP DOI BibTeX RDF	Warren Abstract Machine, message passing, Theorem proving, first-order logic, transputers, or-parallelism, model elimination, connection method
18	Glenn Davis	Computing separating planes for pairs of disjoint polytopes.	SCG	1985	DBLP DOI BibTeX RDF	extreme halfspace, extreme plane, separating plane, convex hull, polytope, projective transformation, hidden surface elimination
18	Donald J. Rose	An algorithm for solving a special class of tridiagonal systems of linear equations.	Commun. ACM	1969	DBLP DOI BibTeX RDF	central difference, Gaussian elimination, tridiagonal
18	Edward S. Lowry, C. W. Medlock	Object code optimization.	Commun. ACM	1969	DBLP DOI BibTeX RDF	System/360, loop structure, machine instructions, optimization, compilers, graph theory, efficiency, FORTRAN, FORTRAN, data flow analysis, dominance, redundancy elimination, register assignment, object code
18	S. Y. Ku, R. J. Adler	Computing polynomial resultants: Bezout's determinant vs. Collins' reduced P.R.S. algorithm.	Commun. ACM	1969	DBLP DOI BibTeX RDF	Bezout's determinant, Sylvester's determinant, g.c.d algorithm, multivariate polynomial equations, polynomial resultant, reduced p.r.s algorithm, resultant algorithm, Euclidean algorithm, elimination
17	José Espírito Santo	The lambda-Calculus and the Unity of Structural Proof Theory.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
17	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
17	Colin Riba	On the Values of Reducibility Candidates.	TLCA	2009	DBLP DOI BibTeX RDF
17	Ryo Kanbayashi, Mitsuhisa Sato	A Distributed Architecture of Sensing Web for Sharing Open Sensor Nodes.	GPC	2009	DBLP DOI BibTeX RDF
17	Maciej Paszynski, Robert Schaefer	Reutilization of Partial LU Factorizations for Self-adaptive hpFinite Element Method Solver.	ICCS (1)	2008	DBLP DOI BibTeX RDF
17	Cüneyt F. Bazlamaçci, Fatih Say	Minimum concave cost multicommodity network design.	Telecommun. Syst.	2007	DBLP DOI BibTeX RDF	Concave cost network design, Circuit switching and packet switching network design, Multicommodity flow problem
17	Kelly Heffner, David Tarditi, Michael D. Smith 0001	Extending Object-Oriented Optimizations for Concurrent Programs.	PACT	2007	DBLP DOI BibTeX RDF
17	Fei Zheng 0001, Geoffrey I. Webb	Finding the Right Family: Parent and Child Selection for Averaged One-Dependence Estimators.	ECML	2007	DBLP DOI BibTeX RDF
17	Md. Monirul Kabir, M. Shahjahan, Kazuyuki Murase	Feature Subset Selection Using Constructive Neural Nets with Minimal Computation by Measuring Contribution.	ICONIP (1)	2007	DBLP DOI BibTeX RDF	neural network, classification, Feature subset selection, contribution
17	Georg Moser, Richard Zach	The Epsilon Calculus and Herbrand Complexity.	Stud Logica	2006	DBLP DOI BibTeX RDF	Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity
17	Hamid Haidarian Shahri, Saied Haidarian Shahri	Eliminating Duplicates in Information Integration: An Adaptive, Extensible Framework.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	fuzzy and probabilistic reasoning, data warehouse and repository, data mining, uncertainty, database applications, knowledge management applications
17	Guoqiang Pan, Moshe Y. Vardi	Symbolic Techniques in Satisfiability Solving.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	symbolic decision procedure, satisfiability, binary decision diagram
17	Yo-Sub Han, Derick Wood	Shorter Regular Expressions from Finite-State Automata.	CIAA	2005	DBLP DOI BibTeX RDF
17	Jacques Carette, Oleg Kiselyov	Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.	GPCE	2005	DBLP DOI BibTeX RDF
17	Volker Weispfenning	Solving Linear Differential Problems with Parameters.	CASC	2005	DBLP DOI BibTeX RDF
17	Matthias Baaz, Alexander Leitsch	CERES in Many-Valued Logics.	LPAR	2004	DBLP DOI BibTeX RDF
17	Guoqiang Pan, Moshe Y. Vardi	Search vs. Symbolic Techniques in Satisfiability Solving.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
17	Andreas Alexander Albrecht, Peter Gottschling, Uwe Naumann	Markowitz-Type Heuristics for Computing Jacobian Matrices Efficiently.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
17	Ranjesh G. Jaganathan, Keith D. Underwood, Ron Sass	A Configurable Network Protocol for Cluster Based Communications using Modular Hardware Primitives on an Intelligent NIC.	SC	2003	DBLP DOI BibTeX RDF	Intelligent Network Interface Card, reconfigurablecomputing, cluster computing, networking protocols
17	Andreas Seidl, Thomas Sturm 0001	A generic projection operator for partial cylindrical algebraic decomposition.	ISSAC	2003	DBLP DOI BibTeX RDF	REDLOG, partial CAD, projection operator
17	Elizabeth L. Mansfield	Algorithms for Symmetric Differential Systems.	Found. Comput. Math.	2001	DBLP DOI BibTeX RDF
17	Kihong Kim, Sang Kyun Cha, Keunjoo Kwon	Optimizing Multidimensional Index Trees for Main Memory Access.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
17	Alessio Guglielmi, Lutz Straßburger	Non-commutativity and MELL in the Calculus of Structures.	CSL	2001	DBLP DOI BibTeX RDF
17	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
17	Andrew Begel, Steven McCanne, Susan L. Graham	BPF+: Exploiting Global Data-Flow Optimization in a Generalized Packet Filter Architecture.	SIGCOMM	1999	DBLP DOI BibTeX RDF
17	Manolis Koubarakis, Spiros Skiadopoulos	Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information.	Spatio-Temporal Database Management	1999	DBLP DOI BibTeX RDF
17	Jaejin Lee, David A. Padua, Samuel P. Midkiff	Basic Compiler Algorithms for Parallel Programs.	PPoPP	1999	DBLP DOI BibTeX RDF
17	Rajiv Gupta 0001	A Code Motion Framework for Global Instruction Scheduling.	CC	1998	DBLP DOI BibTeX RDF
17	Takahito Aoto 0001, Yoshihito Toyama	Termination Transformation by Tree Lifting Ordering.	RTA	1998	DBLP DOI BibTeX RDF
17	Martin Erwig	Functional Programming with Graphs.	ICFP	1997	DBLP DOI BibTeX RDF
17	Claudia Faggian	Classical Proofs via Basic Logic.	CSL	1997	DBLP DOI BibTeX RDF
17	Feodor F. Dragan, Falk Nicolai, Andreas Brandstädt	LexBFS-Orderings and Power of Graphs.	WG	1996	DBLP DOI BibTeX RDF
17	Andreas Brandstädt, Victor Chepoi, Feodor F. Dragan	The Algorithmic Use of Hypertree Structure and Maximum Neighbourhood Orderings.	WG	1994	DBLP DOI BibTeX RDF
17	G. N. Paulley, Per-Åke Larson	Exploiting uniqueness in query optimization.	CASCON	1993	DBLP BibTeX RDF
17	Michel Parigot	Free Deduction: An Analysis of "Computations" in Classical Logic.	RCLP	1991	DBLP DOI BibTeX RDF
17	Mario L. Juncosa, T. W. Mullikin	On the Increase of Convergence Rates of Relaxation Procedures for Elliptic Partial Difference Equations.	J. ACM	1960	DBLP DOI BibTeX RDF
16	Takuji Kamada, Akitoshi Hanazawa, Takashi Morie	Shadow Elimination Mimicking the Human Visual System.	Brain-Inspired Information Technology	2010	DBLP DOI BibTeX RDF
16	Christopher Brown 0002, Simon J. Thompson	Clone detection and elimination for Haskell.	PEPM	2010	DBLP DOI BibTeX RDF	hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code
16	Jason Cong, Chunyue Liu, Glenn Reinman	ACES: application-specific cycle elimination and splitting for deadlock-free routing on irregular network-on-chip.	DAC	2010	DBLP DOI BibTeX RDF	application-specific Network-on-Chip, deadlock-free routing
16		Common Subexpression Elimination.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
16	Alejandro Martínez, Pedro Javier García, Francisco José Alfaro, José L. Sánchez 0002, José Flich, Francisco J. Quiles 0001, José Duato	A Switch Architecture Guaranteeing QoS Provision and HOL Blocking Elimination.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
16	Ning Chen 0004, Zhiyuan Yan 0001	Cyclotomic FFTs With Reduced Additive Complexities Based on a Novel Common Subexpression Elimination Algorithm.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
16	Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper	Strategy Elimination in Games with Interaction Structures.	LORI	2009	DBLP DOI BibTeX RDF
16	Ranran Zhang, Youdong Ding, Shuhan Wei	Image Inpainting Algorithm Based on Successive Elimination.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
16	Omar Hasan, Lionel Brunie, Jean-Marc Pierson, Elisa Bertino	L'Elimination de la subjectivité dans la recommandation de confiance.	UbiMob	2009	DBLP DOI BibTeX RDF	social networks, trust, ubiquitous environments, subjectivity
16	André L. B. Miranda, Luís Paulo F. Garcia, André C. P. L. F. de Carvalho, Ana Carolina Lorena	Use of Classification Algorithms in Noise Detection and Elimination.	HAIS	2009	DBLP DOI BibTeX RDF	Gene Expression and Classification, Machine Learning, Noise
16	R. Mahesh 0001, A. Prasad Vinod 0001	A New Common Subexpression Elimination Algorithm for Realizing Low-Complexity Higher Order Digital Filters.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
16	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller	Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.	LPAR	2008	DBLP DOI BibTeX RDF
16	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
16	Grigori Mints	Proof Search Tree and Cut Elimination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
16	Jörg Pührer, Hans Tompits, Stefan Woltran	Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.	ICLP	2008	DBLP DOI BibTeX RDF
16	Shan Tang, Xin Peng 0001, Yiming Lau, Wenyun Zhao, Zhixiong Jiang	An Adaptive Software Architecture Model Based on Component-Mismatches Detection and Elimination.	COMPSAC	2008	DBLP DOI BibTeX RDF
16	Narongsak Putpuek, Duy-Dinh Le, Nagul Cooharojananone, Shin'ichi Satoh 0001, Chidchanok Lursinsap	Rushes summarization using different redundancy elimination approaches.	TVS	2008	DBLP DOI BibTeX RDF	greedyrsc clustering, rushes content, video summarization, video skimming
16	Ilya Averbouch, Benny Godlin, Johann A. Makowsky	A Most General Edge Elimination Polynomial.	WG	2008	DBLP DOI BibTeX RDF
16	Tobias Nipkow	Linear Quantifier Elimination.	IJCAR	2008	DBLP DOI BibTeX RDF
16	Kota Naga Srinivasarao Batta, Indrajit Chakrabarti	A Parallel Architecture for Successive Elimination Block Matching Algorithm.	ICVGIP	2008	DBLP DOI BibTeX RDF
16	Ning Chen 0004, Zhiyuan Yan 0001	Compact designs of mixcolumns and subbytes using a novel common subexpression elimination algorithm.	ISCAS	2008	DBLP DOI BibTeX RDF
16	Shen-Fu Hsiao, Ming-Yu Tsai, Chia-Sheng Wen	Area oriented pass-transistor logic synthesis using buffer elimination and layout compaction.	ISCAS	2008	DBLP DOI BibTeX RDF