Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Noriko Hyodo, Myunghoon Hong, Hitoshi Yanami, Shinji Hara, Hirokazu Anai	Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Fixed-structure controller synthesis, CACSD (Computer Aided Control System Design) tool, Robust control, Quantifier elimination, Symbolic-numeric computation
28	Richard Liska, Pavel Váchal	Quantifier elimination supported proofs in the numerical treatment of fluid flows.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Stability, Quantifier elimination, Finite difference method
28	Dov M. Gabbay, Andrzej Szalas	Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.	Stud Logica	2007	DBLP DOI BibTeX RDF	second-order quantifier elimination, higher-order relations, conditionals
28	Jay Summet, Matthew Flagg, Tat-Jen Cham, James M. Rehg, Rahul Sukthankar	Shadow Elimination and Blinding Light Suppression for Interactive Projected Displays.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Shadow elimination, blinding light suppression, multiple projector display, projector calibration
28	Barbara Morawska 0001	General E -unification with Eager Variable Elimination and a Nice Cycle Rule.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	E-unification, Variable elimination, Cycle rule
28	Guillaume Burel, Claude Kirchner	Cut Elimination in Deduction Modulo by Abstract Completion.	LFCS	2007	DBLP DOI BibTeX RDF	Knuth-Bendix completion, automated deduction and interactive theorem proving, proof ordering, abstract canonical system, cut elimination, deduction modulo
28	Francisco Ortiz	Real-Time Elimination of Brightness in Color Images by MS Diagram and Mathematical Morphology.	CAIP	2007	DBLP DOI BibTeX RDF	brightness elimination, color mathematical morphology, connected vectorial filters
28	Agata Ciabattoni, Kazushige Terui	Towards a Semantic Characterization of Cut-Elimination.	Stud Logica	2006	DBLP DOI BibTeX RDF	nonclassical logicss, phase semantics, sequent calculus, cut-elimination, substructural logics
28	Anna Zamansky, Arnon Avron	Cut-Elimination and Quantification in Canonical Systems.	Stud Logica	2006	DBLP DOI BibTeX RDF	canonical systems, proof theory, cut elimination, non-deterministic matrices
28	Grigori Mints	Cut Elimination for S4C: A Case Study.	Stud Logica	2006	DBLP DOI BibTeX RDF	Dynamic topological logic, cut elimination
28	Fatima Abu Salem	A New Sparse Gaussian Elimination Algorithm and the Niederreiter Linear System for Trinomials over F2.	Computing	2006	DBLP DOI BibTeX RDF	Niederreiter algorithm, Finite fields, polynomial factorization, sparse Gaussian elimination
28	Peiyi Tang	Complete inlining of recursive calls: beyond tail-recursion elimination.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	complete inlining, full control flow graph, procedure inlining, tail-recursion elimination, call graph
28	Gokhan Memik, Mahmut T. Kandemir, Arindam Mallik	Load elimination for low-power embedded processors.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	load elimination technique, low power design
28	Dmitri Bronnikov	A practical adoption of partial redundancy elimination.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	partial redundancy elimination, register spilling
28	Francesco Belardinelli, Peter Jipsen, Hiroakira Ono	Algebraic Aspects of Cut Elimination.	Stud Logica	2004	DBLP DOI BibTeX RDF	Algebraic Gentzen systems, finite model property, residuated lattices, cut elimination, substructural logics
28	Ying Yang 0001, Xindong Wu 0001	Parameter Tuning for Induction-Algorithm-Oriented Feature Elimination.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF	feature elimination, inductive learning, parameter tuning
28	Youtao Zhang, Jun Yang 0002	Low cost instruction cache designs for tag comparison elimination.	ISLPED	2003	DBLP DOI BibTeX RDF	low-power instruction cache, tag comparison elimination
28	Alexandru Nicolau, Nikil D. Dutt, Rajesh Gupta 0001, Nick Savoiu, Mehrdad Reshadi, Sumit Gupta	Dynamic Common Sub-Expression Elimination during Scheduling in High-Level Synthesis.	ISSS	2002	DBLP DOI BibTeX RDF	common sub-expression elimination, dynamic CSE, parallelizing transformations, high-level synthesis
28	Thomas H. Kolbe, Lutz Plümer, Armin B. Cremers	Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF	building extraction, variable elimination, object recognition, constraint logic programming, geometric constraints, constraint relaxation, inexact graph matching
28	Yunfu Shen	Elimination of algorithmic quantifiers for ordered differential algebra.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF	ordered differential algebra, algorithm, quantifier elimination, model theory
28	Saugata Basu, Richard Pollack, Marie-Françoise Roy	On the Combinatorial and Algebraic Complexity of Quantifier Elimination.	J. ACM	1996	DBLP DOI BibTeX RDF	Tarski-Seidenberg principle, quantifier elimination, real closed fields
28	Mounir Marrakchi	An Optimal Parallel Algorithm for Gaussian Elimination.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF	2-steps graph, Gaussian elimination, Complexity analysis, Optimal parallel algorithm
28	Maurice Herlihy, Martin S. McKendry	Timestamp-Based Orphan Elimination.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	timestamp based orphan elimination, distributed transaction system, aborted transaction, two-phase protocols, real-time clocks, concurrency control method, distributed processing, concurrency control, database management systems, transaction processing
28	Joseph W. H. Liu	Modification of the Minimum-Degree Algorithm by Multiple Elimination.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	minimum degree, sparse ordering, ordering, elimination
28	Andrew H. Sherman	Algorithm 533: NSPIV, A Fortran Subroutine for Sparse Gaussian Elimination with Partial Pivoting [F4].	ACM Trans. Math. Softw.	1978	DBLP DOI BibTeX RDF	partial pivoting algorithms, linear equations, sparse linear systems, sparse Gaussian elimination
28	R. Galimberti	An algorithm for hidden line elimination.	Commun. ACM	1969	DBLP DOI BibTeX RDF	automatic drawing, back line recognition, displaying techniques, hidden line elimination, machine rendering of solids, man/machine communication, man/machine interaction, plane-faced objects, three-dimensional representation, computer graphics, computer-aided design, perspective view
27	Jie-Hong R. Jiang	Quantifier Elimination via Functional Composition.	CAV	2009	DBLP DOI BibTeX RDF
27	Chendong Li	Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality.	ICLP	2009	DBLP DOI BibTeX RDF
27	Dirk Pattinson, Lutz Schröder	Generic Modal Cut Elimination Applied to Conditional Logics.	TABLEAUX	2009	DBLP DOI BibTeX RDF
27	Arnon Avron, Anna Zamansky	Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.	LFCS	2009	DBLP DOI BibTeX RDF
27	Gilles Dowek, Olivier Hermant	A Simple Proof That Super-Consistency Implies Cut Elimination.	RTA	2007	DBLP DOI BibTeX RDF
27	Mohamed Y. Eltabakh, Mourad Ouzzani, Walid G. Aref	Duplicate Elimination in Space-partitioning Tree Indexes.	SSDBM	2007	DBLP DOI BibTeX RDF
27	Kentaro Kikuchi	On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus.	LPAR	2006	DBLP DOI BibTeX RDF
27	Fernando Magno Quintão Pereira, Jens Palsberg	Register Allocation After Classical SSA Elimination is NP-Complete.	FoSSaCS	2006	DBLP DOI BibTeX RDF
27	Man-Yau Chiu, Wan-Chi Siu	New results on exhaustive search algorithm for motion estimation using adaptive partial distortion search and successive elimination algorithm.	ISCAS	2006	DBLP DOI BibTeX RDF
27	Fei Zheng 0001, Geoffrey I. Webb	Efficient lazy elimination for averaged one-dependence estimators.	ICML	2006	DBLP DOI BibTeX RDF
27	Ce Zhu, Wei-Song Qi, Wee Ser	Predictive fine granularity successive elimination for fast optimal block-matching motion estimation.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
27	Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems.	Peer-to-Peer Computing	2005	DBLP DOI BibTeX RDF
27	Pinar Heggernes, Yngve Villanger	Simple and Efficient Modifications of Elimination Orderings.	PARA	2004	DBLP DOI BibTeX RDF
27	Jun-Wei Hsieh, Shih-Hao Yu, Yung-Sheng Chen, Wen-Fong Hu	A Shadow Elimination Method for Vehicle Analysis.	ICPR (4)	2004	DBLP DOI BibTeX RDF
27	Anuj Dawar, Philippa Gardner, Giorgio Ghelli	Adjunct Elimination Through Games in Static Ambient Logic.	FSTTCS	2004	DBLP DOI BibTeX RDF
27	Andreas Dolzmann, Lorenz A. Gilch	Generic Hermitian Quantifier Elimination.	AISC	2004	DBLP DOI BibTeX RDF
27	Philipp Gerhardy	Refined Complexity Analysis of Cut Elimination.	CSL	2003	DBLP DOI BibTeX RDF
27	Jan von Plato	Natural deduction with general elimination rules.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F05
27	Manel Fernández, Roger Espasa, Saumya K. Debray	Load Redundancy Elimination on Executable Code.	Euro-Par	2001	DBLP DOI BibTeX RDF
27	Pedro Alonso 0001, Raquel Cortina, Irene Díaz, José Ranilla, Vicente Hernández	Parallel Neville Elimination: A Simple Cost-Optimal Algorithm.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
27	Geoffrey I. Webb	Candidate Elimination Criteria for Lazy Bayesian Rules.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF	machine learning
27	Naoki Kobayashi 0001	Type-Based Useless Variable Elimination.	PEPM	2000	DBLP DOI BibTeX RDF
27	Soo-Mok Jung, Sung-Chul Shin, Hyunki Baik, Myong-Soon Park	Nobel Successive Elimination Algorithms for the Estimation of Motion Vectors.	ISMSE	2000	DBLP DOI BibTeX RDF
27	Robert Kennedy, Sun Chan, Shin-Ming Liu, Raymond Lo, Peng Tu, Fred C. Chow	Partial redundancy elimination in SSA form.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	partial redundancy, data flow analysis, code motion, static single assignment form, common subexpressions
27	Christian Urban, Gavin M. Bierman	Strong Normalisation of Cut-Elimination in Classical Logic.	TLCA	1999	DBLP DOI BibTeX RDF
27	Youfeng Wu, Yong-Fong Lee	Comprehensive Redundant Load Elimination for the IA-64 Architecture.	LCPC	1999	DBLP DOI BibTeX RDF
27	Ichiro Ogata	Cut Elimination for Classical Proofs as Continuation Passing Style Computation.	ASIAN	1998	DBLP DOI BibTeX RDF
27	Rajiv Gupta 0001, David A. Berson, Jesse Zhixi Fang	Path Profile Guided Partial Redundancy Elimination Using Speculation.	ICCL	1998	DBLP DOI BibTeX RDF
27	Matthias Baaz, Helmut Veith	Quantifier Elimination in Fuzzy Logic.	CSL	1998	DBLP DOI BibTeX RDF
27	Claudson F. Bornstein, Bruce M. Maggs, Gary L. Miller, R. Ravi 0001	Parallelizing Elimination Orders with Linear Fill.	FOCS	1997	DBLP DOI BibTeX RDF
27	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Interprocedural Conditional Branch Elimination.	PLDI	1997	DBLP DOI BibTeX RDF
27	John Harrison 0001	Optimizing Proof Search in Model Elimination.	CADE	1996	DBLP DOI BibTeX RDF
27	Maria C. F. Ferreira	Dummy Elimination in Equational Rewriting.	RTA	1996	DBLP DOI BibTeX RDF
27	Satoshi Okui, Aart Middeldorp, Tetsuo Ida	Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract).	TAPSOFT	1995	DBLP DOI BibTeX RDF
27	Gagan Agrawal, Joel H. Saltz, Raja Das	Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation.	PLDI	1995	DBLP DOI BibTeX RDF
27	Elias Dahlhaus, Peter L. Hammer, Frédéric Maffray, Stephan Olariu	On Domination Elimination Orderings and Domination Graphs (Extended Abstract).	WG	1994	DBLP DOI BibTeX RDF
27	Klaus Mayr	Refinements and Extensions of Model Elimination.	LPAR	1993	DBLP DOI BibTeX RDF
27	Owen L. Astrachan, Mark E. Stickel	Caching and Lemmaizing in Model Elimination Theorem Provers.	CADE	1992	DBLP DOI BibTeX RDF
24	Jens Knoop, Eduard Mehofer	Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing Techniques.	IEEE PACT	1997	DBLP DOI BibTeX RDF	interprocedural distribution assignment placement, intraprocedural placing techniques, unnecessary run-time remappings, partially redundant distribution assignment elimination, partially dead distribution assignment elimination, algorithm hierarchy, user-customized solutions, dynamic data redistribution, optimization, parallel programming, High Performance Fortran, anomalies, distributed-memory architectures, data-parallel programs, interprocedural data-flow analysis, run-time efficiency
24	Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi	Performability Analysis Using Semi-Markov Reard Processes.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	vanishing states elimination, fast transient states elimination, semi-Markov reward processes, zero reward nonabsorbing states, probabilistic switch, stiff Markov chains, performance evaluation, performability analysis, Markov processes, decomposition, stochastic Petri net, reachability graph
23	Dov M. Gabbay, Andrzej Szalas	Annotation Theories over Finite Graphs.	Stud Logica	2009	DBLP DOI BibTeX RDF	labeled graphs, semantics of logic programs, second-order quantifier elimination, annotations, argumentation theory
23	Thomas Sturm 0001, Andreas Weber 0004, Essam O. Abdel-Rahman, M'hammed El Kahoui	Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	quantifier elimination over the reals, logical inconsistency checking, dynamical systems, oscillations, Hopf bifurcations
23	David A. Cox 0001	Gröbner bases: a sampler of recent developments.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner bases, elimination theory
23	Zainal Ahmad, Jie Zhang 0005	Bayesian selective combination of multiple neural networks for improving long-range predictions in nonlinear process modelling.	Neural Comput. Appl.	2005	DBLP DOI BibTeX RDF	Multiple neural networks, Selective combination of neural networks, Forward selection, Backward elimination, Process modelling, Generalisation, Bayesian method
23	Bruno Salvy	D-finiteness: algorithms and applications.	ISSAC	2005	DBLP DOI BibTeX RDF	creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
23	Greg Reid, Jan Verschelde, Allan D. Wittkopf, Wenyuan Wu	Symbolic-numeric completion of differential systems by homotopy continuation.	ISSAC	2005	DBLP DOI BibTeX RDF	component of solutions, diagonal homotopy, differential elimination, hidden constraint, numerical jet geometry, witness set, polynomial system, path following, differential algebraic equation, numerical algebraic geometry, homotopy continuation
23	Sumit Gupta, Rajesh K. Gupta 0001, Nikil D. Dutt, Alexandru Nicolau	Coordinated parallelizing compiler optimizations and high-level synthesis.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	dynamic CSE, parallelizing transformations, presynthesis, embedded systems, high-level synthesis, Code motions, common subexpression elimination
23	Dimitrios Triantafyllou, Marilena Mitrouli	Two Resultant Based Methods Computing the Greatest Common Divisor of Two Polynomials.	NAA	2004	DBLP DOI BibTeX RDF	Greater Common Divisor, Sylvester matrix, Gaussian elimination, QR factorization
23	Lan Yi, Bing Liu 0001, Xiaoli Li 0001	Eliminating noisy information in Web pages for data mining.	KDD	2003	DBLP DOI BibTeX RDF	Web mining, noise elimination, noise detection
23	Jin Lin, Tong Chen 0010, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai, Sun Chan	A compiler framework for speculative analysis and optimizations.	PLDI	2003	DBLP DOI BibTeX RDF	speculative SSA form, speculative weak update, partial redundancy elimination, data speculation, register promotion
23	Lucian Ilie, Sheng Yu 0001	Constructing NFA s by Optimal Use of Positions in Regular Expressions.	CPM	2002	DBLP DOI BibTeX RDF	right-invariant equivalence, $varepsilon$-elimination, algorithms, regular expressions, positions, partial derivatives, quotients, regular expression matching, nondeterministic finite automata
23	Francisco Gutiérrez, Blas C. Ruiz	A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.	LOPSTR	2002	DBLP DOI BibTeX RDF	lambda calculus with types, pure type systems, cut elimination, sequent calculi
23	Cornelia Kober, Matthias Müller-Hannemann	A Case Study in Hexahedral Mesh Generation: Simulation of the Human Mandible.	Eng. Comput.	2001	DBLP DOI BibTeX RDF	Cycle elimination scheme, FEM simulation, Hexahedral mesh generation, Human mandible, Optimized mesh smoothing, Quadrilateral mesh generation
23	Uwe Naumann, Peter Gottschling	Prospects for Simulated Annealing Algorithms in Automatic Differentiation.	SAGA	2001	DBLP DOI BibTeX RDF	Accumulation of Jacobian matrices, vertex elimination, logarithmic cooling schedule, inhomogeneous Markov chains, simulated annealing
23	Reinhard von Hanxleden, Ken Kennedy	A balanced code placement framework.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	Tarjan intervals, data-flow analysis, high performance Fortran, latency hiding, partial redundancy elimination, Fortran D
23	Marilena Mitrouli	On the Complete Pivoting Conjecture for Hadamard Matrices of Order 16.	NAA	2000	DBLP DOI BibTeX RDF	pivot size, complete pivoting, Hadamard matrices AMS Subject Classification: 65F05, 65G05, Gaussian elimination, 05B20
23	Thomas Sturm 0001	Reasoning over Networks by Symbolic Methods.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Real quantifier elimination, Diagnosis, Error detection, Network analysis, Network sizing, Automatic reasoning
23	Cong Fu 0002, Xiangmin Jiao, Tao Yang 0009	Efficient Sparse LU Factorization with Partial Pivoting on Distributed Memory Architectures.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Sparse LU factorization, Gaussian elimination with partial pivoting, dense structures, asynchronous computation scheduling, irregular parallelism
23	Max Hailperin	Cost-Optimal Code Motion.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	elimination of partial redundancies, code motion, strength reduction
23	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Complete Removal of Redundant Computations.	PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
23	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Complete removal of redundant expressions (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
23	Oliver Rüthing	Optimal Code Motion in the Presence of Large Expressions.	ICCL	1998	DBLP DOI BibTeX RDF	partial redundancy, graph theory, register allocation, graph matching, program optimization, code motion, elimination
23	Yao-Nan Lien, Chih-Lin Hu	Composition can be Faster than Join.	COMPSAC	1997	DBLP DOI BibTeX RDF	Database, composition, join, duplicate elimination
23	Florian Pigorsch, Christoph Scholl 0001	An AIG-Based QBF-solver using SAT for preprocessing.	DAC	2010	DBLP DOI BibTeX RDF	Boolean satisfiability, quantified boolean formulas
23	Hermann Gruber, Markus Holzer 0001, Michael Tautschnig	Short Regular Expressions from Finite Automata: Empirical Results.	CIAA	2009	DBLP DOI BibTeX RDF
23	Isolde Adler, Mark Weyer	Tree-Width for First Order Formulae.	CSL	2009	DBLP DOI BibTeX RDF
23	Clément Houtmann	Axiom Directed Focusing.	TYPES	2008	DBLP DOI BibTeX RDF	superdeduction, Proof theory, focusing, deduction modulo
23	Hermann Gruber, Markus Holzer 0001	Provably Shorter Regular Expressions from Deterministic Finite Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
23	Jiang Dawei, Wang Shiyuan	Using the Simulated Annealing Algorithm for Multiagent Decision Making.	RoboCup	2006	DBLP DOI BibTeX RDF
23	Jelle R. Kok, Nikos Vlassis	Using the Max-Plus Algorithm for Multiagent Decision Making in Coordination Graphs.	RoboCup	2005	DBLP DOI BibTeX RDF
23	Vlad Petric, Tingting Sha, Amir Roth	RENO - A Rename-Based Instruction Optimizer.	ISCA	2005	DBLP DOI BibTeX RDF
23	Danny Hendler, Nir Shavit, Lena Yerushalmi	A scalable lock-free stack algorithm.	SPAA	2004	DBLP DOI BibTeX RDF
23	Vijay Chandru, Jean-Louis Lassez	Qualitative Theorem Proving in Linear Constraints.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
23	Pranab Sen	Lower bounds for predecessor searching in the cell probe model.	CCC	2003	DBLP DOI BibTeX RDF