Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Thomas Sturm 0001	Integration of Quantifier Elimination with Constraint Logic Programming.	AISC	2002	DBLP DOI BibTeX RDF
16	Hirokazu Anai, Volker Weispfenning	Reach Set Computations Using Real Quantifier Elimination.	HSCC	2001	DBLP DOI BibTeX RDF
16	Pedro Alonso 0001, Raquel Cortina, Irene Díaz, Vicente Hernández, José Ranilla	A Columnwise Block Striping in Neville Elimination.	PPAM	2001	DBLP DOI BibTeX RDF
16	Julius Georgiou, Christofer Toumazou	An operating point elimination technique for weak-inversion log-domain filters with multiple operating points.	ISCAS (1)	2001	DBLP DOI BibTeX RDF
16	Edward A. Hirsch, Arist Kojevnikov	Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination.	CP	2001	DBLP DOI BibTeX RDF	local search, empirical evaluation, Boolean satisfiability
16	Xiqi Gao, C. J. Duanmu, C. R. Zou	A multilevel successive elimination algorithm for block matching motion estimation.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
16	Emanuele Galligani, Luca Zanni	On the Stability of the Direct Elimination Method for Equality Constrained Least Squares Problems.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classifications: 65G05, 65K05, 90C20
16	Alexander N. Malyshev	A Note on the Stability of Gauss-Jordan Elimination for Diagonally Dominant Matrices.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classifications: 68F05, 68G05
16	Hanan A. Mahmoud, Magdy A. Bayoumi	An Efficient Successive Elimination Algorithm for Block-Matching Motion Estimation.	Data Compression Conference	2000	DBLP DOI BibTeX RDF
16	Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell	Reasoning about Duplicate Elimination with Description Logic.	Computational Logic	2000	DBLP DOI BibTeX RDF
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.	ASAP	2000	DBLP DOI BibTeX RDF
16	Alberto Momigliano	Elimination of Negation in a Logical Framework.	CSL	2000	DBLP DOI BibTeX RDF
16	Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini	Type-Based Useless-Code Elimination for Functional Programs.	SAIG	2000	DBLP DOI BibTeX RDF
16	Andris Ambainis, Harry Buhrman, William I. Gasarch, Bala Kalyanasundaram, Leen Torenvliet	The Communication Complexity of Enumeration, Elimination, and Selection.	CCC	2000	DBLP DOI BibTeX RDF
16	Hongwei Xi	Dead Code Elimination through Dependent Types.	PADL	1999	DBLP DOI BibTeX RDF
16	Serenella Cerrito, Delia Kesner	Pattern Matching as Cut Elimination.	LICS	1999	DBLP DOI BibTeX RDF
16	Stéphane Ducasse, Tamar Richner, Robb Nebbe	Type-Check Elimination: Two Object-Oriented Reengineering Patterns.	WCRE	1999	DBLP DOI BibTeX RDF	Object-Oriented, Patterns, Refactorings, Reengineering
16	Pedro Alonso 0001, Raquel Cortina, José Ranilla	Block-Striped Partitioning and Neville Elimination.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	María J. Martín, Inmaculada Pardines, Francisco F. Rivera	Scheduling of Algorithms Based on Elimination Trees on NUMA Systems.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	Marc Fuchs, Dirk Fuchs	Abstraction-Based Relevancy Testing for Model Elimination.	CADE	1999	DBLP DOI BibTeX RDF
16	Matthias Baaz, Alexander Leitsch, Georg Moser	System Description: CutRes 0.1: Cut Elimination by Resolution.	CADE	1999	DBLP DOI BibTeX RDF
16	Ingmar Neumann, Dominik Stoffel, Hendrik Hartje, Wolfgang Kunz	Cell replication and redundancy elimination during placement for cycle time optimization.	ICCAD	1999	DBLP DOI BibTeX RDF
16	Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Han-Saem Yun	Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling.	LCPC	1999	DBLP DOI BibTeX RDF
16	Xi-Qi Gao 0001, C. J. Duanmu, C. R. Zou, Zhenya He	Multi-level successive elimination algorithm for motion estimation in video coding.	ISCAS (4)	1999	DBLP DOI BibTeX RDF
16	Lavinia Egidi	A quantifier elimination for the theory of p-adic numbers.	Comput. Complex.	1998	DBLP DOI BibTeX RDF	theory of p -adic numbers, Complexity, cylindrical algebraic decomposition
16	Ulrich Kohlenbach	Elimination of Skolem functions for monotone formulas in analysis.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification: 03F35, 03F10, 03F03, 03F25
16	Tatiana Samoilov, Gershon Elber	Self-intersection elimination in metamorphosis of two-dimensional curves.	Vis. Comput.	1998	DBLP DOI BibTeX RDF	Freeform parametric curves and surfaces, Homotopic curves and surfaces, Matching, Morphing, Computer-aided geometric design
16	David Peleg	Distributed Matroid Basis Completion via Elimination Upcast and Distributed Correction of Minimum-Weight Spanning Trees.	ICALP	1998	DBLP DOI BibTeX RDF
16	Ayse Kiper	An Efficient Parallel Triangular Inversion by Gauss Elimination with Sweeping.	Euro-Par	1998	DBLP DOI BibTeX RDF
16	Werner Kuich	Gaußian Elimination and a Characterization of Algebraic Power Series.	MFCS	1998	DBLP DOI BibTeX RDF
16	Leo Bachmair, Harald Ganzinger, Andrei Voronkov	Elimination of Equality via Transformation with Ordering Constraints.	CADE	1998	DBLP DOI BibTeX RDF
16	Fred C. Chow, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu	Register Promotion by Partial Redundancy Elimination of Loads and Stores.	PLDI	1998	DBLP DOI BibTeX RDF
16	Elias Dahlhaus	Minimal Elimination of Planar Graphs.	SWAT	1998	DBLP DOI BibTeX RDF
16	Li-Ren Huang, Jing-Yang Jou, Sy-Yen Kuo	Gauss-elimination-based generation of multiple seed-polynomial pairs for LFSR.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
16	J. C. Lagarias 0001, Nagabhushana Prabhu, James A. Reeds	The d-Step Conjecture and Gaussian Elimination.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
16	Roberto Di Cosmo, Delia Kesner	Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
16	Elias Dahlhaus	Minimal Elimination Ordering Inside a Given Chordal Graph.	WG	1997	DBLP DOI BibTeX RDF
16	Robert Pasko, Patrick Schaumont, Veerle Derudder, Daniela Duracková	Optimization Method for Broadband Modem FIR Filter Design using Common Subexpression Elimination.	ISSS	1997	DBLP DOI BibTeX RDF
16	Fred C. Chow, Sun Chan, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu	A New Algorithm for Partial Redundancy Elimination based on SSA Form.	PLDI	1997	DBLP DOI BibTeX RDF
16	Rastislav Bodík, Rajiv Gupta 0001	Partial Dead Code Elimination using Slicing Transformations.	PLDI	1997	DBLP DOI BibTeX RDF
16	Dragan Gamberger, Nada Lavrac	Conditions for Occam's Razor Applicability and Noise Elimination.	ECML	1997	DBLP DOI BibTeX RDF
16	Hans Jürgen Ohlbach	SCAN - Elimination of Predicate Quantifiers.	CADE	1996	DBLP DOI BibTeX RDF
16	Apostolos A. Kountouris	Safe and efficient elimination of infeasible execution paths in WCET estimation.	RTCSA	1996	DBLP DOI BibTeX RDF	infeasible execution paths, WCET estimation, time critical systems, R/T programming language, Dynamic Graph representation, real-time systems, SIGNAL, timing properties, Worst Case Execution Time
16	Matthias Baaz, Alexander Leitsch	Fast Cut-Elimination by Projection.	CSL	1996	DBLP DOI BibTeX RDF
16	Priyadarshan Kolte, Michael Wolfe	Elimination of Redundant Array Subscript Range Checks.	PLDI	1995	DBLP DOI BibTeX RDF	FORTRAN
16	Ludovit Markus	Application of the general elimination method in robot kinematics.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	coordinate transformations, Robot kinematics, inverse kinematics problem
16	Peter Lützen Møller	Run-Time Check Elimination for Ada 9X.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
16	Mauro Leoncini	How Much Can We Speedup Gaussian Elimination with Pivoting?	SPAA	1994	DBLP DOI BibTeX RDF
16	Volker Weispfenning	Quantifier Elimination for Real Algebra - the Cubic Case.	ISSAC	1994	DBLP DOI BibTeX RDF
16	Hoon Hong	Parallelization of Quantifier Elimination on a Workstation Network.	AAECC	1993	DBLP DOI BibTeX RDF
16	Mohamed Tajine	The Negation Elimination from Syntactic Equational Formula is Decidable.	RTA	1993	DBLP DOI BibTeX RDF
16	Ulf R. Schmerl	A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs.	CSL	1991	DBLP DOI BibTeX RDF
16	Dan Jonsson	Next: the elimination of Goto-patches?	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
16	K. Gopinath, John L. Hennessy	Copy Elimination in Functional Languages.	POPL	1989	DBLP DOI BibTeX RDF
16	Barbara G. Ryder, Marvin C. Paull	Elimination Algorithms for Data Flow Analysis.	ACM Comput. Surv.	1986	DBLP DOI BibTeX RDF
16	W. Böge	Quantifier Elimination for Real Closed Fields.	AAECC	1985	DBLP DOI BibTeX RDF
16	Umeshwar Dayal, Nathan Goodman, Randy H. Katz	An Extended Relational Algebra with Control over Duplicate Elimination.	PODS	1982	DBLP DOI BibTeX RDF
16	W. W. Bledsoe, Larry M. Hines	Variable Elimination and Chaining in a Resolution-based Prover for Inequalities.	CADE	1980	DBLP DOI BibTeX RDF
16	Alberto Martelli	A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph.	J. ACM	1976	DBLP DOI BibTeX RDF
16	S. Fleisig, Donald W. Loveland, A. K. Smiley III, D. L. Yarmush	An Implementation of the Model Elimination Proof Procedure.	J. ACM	1974	DBLP DOI BibTeX RDF
16	Joel Moses	Solutions of systems of polynomial equations by elimination.	Commun. ACM	1966	DBLP DOI BibTeX RDF
16	Susumu Kuno	The predictive analyzer and a path elimination technique.	Commun. ACM	1965	DBLP DOI BibTeX RDF
12	Adish Singla, Ryen W. White	Sampling high-quality clicks from noisy click data.	WWW	2010	DBLP DOI BibTeX RDF	query entropy, noise elimination, click data, web search ranking
12	Massimo Bartoletti, Roberto Zunino	A Calculus of Contracting Processes.	LICS	2010	DBLP DOI BibTeX RDF	circular assume-guarantee, concurrent constraints, contracts, cut elimination
12	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
12	Hilit Achiezra, Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv	Exploratory keyword search on data graphs.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	information retrieval on graphs, keyword search on graphs, redundancy elimination
12	Lou Jing, Zang Aiqin	Pavement Crack Distress Detection Based on Image Analysis.	MVHI	2010	DBLP DOI BibTeX RDF	pavement crack distress detection, gray correction, noise elimination, bilinear interpolation
12	Enrico Marchioni, George Metcalfe	Interpolation Properties for Uninorm Based Logics.	ISMVL	2010	DBLP DOI BibTeX RDF	Uninorm Based Logics, Deductive Interpolation, Quantifier Elimination, Craig Interpolation
12	Minoru Mori, Kunio Kashino	Fast Template Matching Based on Normalized Cross Correlation Using Adaptive Block Partitioning and Initial Threshold Estimation.	ISM	2010	DBLP DOI BibTeX RDF	Successive elimination, Adaptive block partitioning, Initial threshold estimation, Template matching
12	Jason Thong, Nicola Nicolici	A novel optimal single constant multiplication algorithm.	DAC	2010	DBLP DOI BibTeX RDF	single constant multiplication, directed acyclic graphs, optimal algorithm, common subexpression elimination
12	Dukwon Kim	Gauss, Carl Friedrich.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Fundamental theorem of algebra, Method of least squares, Gaussian elimination
12	Graham Wood	Bisection Global Optimization Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Lipschitz continuity, Multidimensional bisection, Epigraph, Linear convergence, System, Reduction, Tiling, Bisection, Simplex, Elimination, Bracket
12	Juha Kontinen	A logical characterization of the counting hierarchy.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Counting hierarchy, majority quantifiers, the 0-1 law, quantifier elimination
12	Anne Denton, Christopher Besemann, Dietmar H. Dorr	Pattern-based time-series subsequence clustering using radial distribution functions.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Time series subsequence clustering, Clustering noisy data, Time series labeling, Density-based clustering, Noise elimination
12	Jia Zou 0002, Joshua S. Auerbach, David F. Bacon, Edward A. Lee	PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice.	LCTES	2009	DBLP DOI BibTeX RDF	flexible task graphs, jitter elimination, ptides, real-time systems, real-time scheduling
12	Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
12	Elena Machkasova, Kevin Arhelger, Fernando Trinciante	The observer effect of profiling on dynamic Java optimizations.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	hprof, Java, profiler, JVM, HotSpot, inlining, dead code elimination
12	James Brotherston, Cristiano Calcagno	Classical BI: a logic for reasoning about dualising resources.	POPL	2009	DBLP DOI BibTeX RDF	bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models
12	Olle Regardt, Lars Rönnbäck, Maria Bergholtz, Paul Johannesson, Petia Wohed	Anchor Modeling.	ER	2009	DBLP DOI BibTeX RDF	anchor modeling, 6NF, table elimination, temporal databases, normalization, data warehousing, agile development
12	Jean-Baptiste Tristan, Xavier Leroy	Verified validation of lazy code motion.	PLDI	2009	DBLP DOI BibTeX RDF	lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers
12	Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera	Typed transformations of typed abstract syntax.	TLDI	2009	DBLP DOI BibTeX RDF	typed transformations, type systems, meta-programming, gadt, common subexpression elimination
12	Zhongbin Wang 0001, Chao Tan, Qing Li, Yuliu Chen	Research on Intelligent CAPP System Based on Multi-agent System.	HIS (1)	2009	DBLP DOI BibTeX RDF	computer-aided process planning, work mechanism, conflict elimination, multi-agent system
12	Haim Avron, Gil Shklarski, Sivan Toledo	Parallel unsymmetric-pattern multifrontal sparse LU with column preordering.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	Unsymmetric, multifrontal, Gaussian elimination
12	Min Tang 0001, Sung-Eui Yoon, Dinesh Manocha	Adjacency-based culling for continuous collision detection.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Adjacency-based culling, Elementary test, Continuous collision detection, Duplication elimination
12	Yao Lu, Guoyi Zhang	A DL-Based Approach for Eliminating Concept Restriction Conflicts in Ontology Merging.	NPC Workshops	2008	DBLP DOI BibTeX RDF	value and cardinality restriction, conflicts elimination, description logic, conflict detection, ontology merging
12	Rupesh R. Mehta, Amit Madaan	Web page sectioning using regex-based template.	WWW	2008	DBLP DOI BibTeX RDF	site-specific noise elimination, site-specific segmentation, tree-based reg-ex
12	Bican Xia, Lu Yang, Naijun Zhan	Program Verification by Reduction to Semi-algebraic Systems Solving.	ISoLA	2008	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, Program Verification, Invariants, Quantifier Elimination, Ranking Functions, Polynomial Programs
12	Carsten Schürmann 0001, Jeffrey Sarnat	Structural Logical Relations.	LICS	2008	DBLP DOI BibTeX RDF	Twelf, Normalization, Logical Frameworks, Cut-Elimination, Logical Relations
12	Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv	Keyword proximity search in complex data graphs.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	approximate top-k answers, information retrieval on graphs, keyword proximity search, subtree enumeration by height, redundancy elimination
12	Ritesh Garg, Richard Putman, Nur A. Touba	Increasing Output Compaction in Presence of Unknowns Using an X-Canceling MISR with Deterministic Observation.	VTS	2008	DBLP DOI BibTeX RDF	X-tolerant, Linear Compression, Gaussian Elimination, Response Compaction
12	Lian Yu, Shuang Su, Shan Luo, Yu Su 0007	Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems.	TASE	2008	DBLP DOI BibTeX RDF	Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems
12	Tomasz S. Czajkowski, Stephen Dean Brown	Functionally linear decomposition and synthesis of logic circuits for FPGAs.	DAC	2008	DBLP DOI BibTeX RDF	decomposition, logic synthesis, linearity, Gaussian elimination
12	Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara	Symbolic optimization of algebraic functions.	ISSAC	2008	DBLP DOI BibTeX RDF	polynomial spectral factorization, quantifier elimination, parametric optimization, groebner basis
12	Nicholas I. M. Gould, Jennifer A. Scott, Yifan Hu 0001	A numerical evaluation of sparse direct solvers for the solution of large sparse symmetric linear systems of equations.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	symmetric linear systems, software, Sparse matrices, Gaussian elimination, direct solvers
12	Yulai Zhao 0003, Xianfeng Li, Dong Tong 0001, Xu Cheng 0001	An Energy-Efficient Instruction Scheduler Design with Two-Level Shelving and Adaptive Banking.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	content associative memory (CAM), tag elimination, waiting instruction buffer, instruction scheduler, energy-efficient architecture
12	Thibaut Feydy, Peter J. Stuckey	Propagating dense systems of integer linear equations.	SAC	2007	DBLP DOI BibTeX RDF	constraint programming, constraint propagation, linear equations, Gaussian elimination
12	V. Suresh Babu, P. Viswanath	Weighted k-Nearest Leader Classifier for Large Data Sets.	PReMI	2007	DBLP DOI BibTeX RDF	weighted leaders method, k-NNC, prototypes, noise elimination
12	Jiangong Zhang, Torsten Suel	Efficient search in large textual collections with redundancy.	WWW	2007	DBLP DOI BibTeX RDF	search engines, inverted index, index compression, redundancy elimination, query execution
12	László Szilágyi, Sándor M. Szilágyi, Zoltán Benyó	Efficient Feature Extraction for Fast Segmentation of MR Brain Images.	SCIA	2007	DBLP DOI BibTeX RDF	image segmentation, feature extraction, magnetic resonance imaging, noise elimination, fuzzy c-means algorithm
12	Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg	The ExoVM system for automatic VM and application reduction.	PLDI	2007	DBLP DOI BibTeX RDF	VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination