Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	K. Subramani 0001	On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope.	AISC	2002	DBLP DOI BibTeX RDF
11	Roberto Battiti, Marco Protasi	Reactive Local Search for the Maximum Clique Problem.	Algorithmica	2001	DBLP DOI BibTeX RDF	Algorithms, Combinatorial optimization, Network flow, Sports, Baseball
11	Hongwei Xi, Robert Harper 0001	A Dependently Typed Assembly Language.	ICFP	2001	DBLP DOI BibTeX RDF
11	Yong Feng 0001, Xinghuo Yu 0001, Zhihong Man	Non-singular terminal sliding mode control and its application for robot manipulators.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
11	Alexandru Salcianu, Martin C. Rinard	Pointer and escape analysis for multithreaded programs.	PPoPP	2001	DBLP DOI BibTeX RDF
11	Marwan A. Gharaybeh, Vishwani D. Agrawal, Michael L. Bushnell, Carlos G. Parodi	False-Path Removal Using Delay Fault Simulation.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	design for testability, fault simulation, Delay testing, path delay faults, synthesis for testability, redundancy removal
11	Janusz Konrad, Bertrand Lacotte, Eric Dubois 0002	Cancellation of image crosstalk in time-sequential displays of stereoscopic video.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
11	J. K. Kraus, C. W. Brand	Condition Numbers of Approximate Schur Complements in Two- and Three-Dimensional Discretizations on Hierarchically Ordered Grids.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classifications: 65F10, 65N20
11	Zhendong Su 0001, Manuel Fähndrich, Alexander Aiken	Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.	POPL	2000	DBLP DOI BibTeX RDF
11	René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry 0001	Controlled Invariance of Discrete Time Systems.	HSCC	2000	DBLP DOI BibTeX RDF
11	Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski	Proof Nets and Explicit Substitutions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
11	Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas	Efficient Reasoning Using the Local Closed-World Assumption.	AIMSA	2000	DBLP DOI BibTeX RDF
11	Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl	Equational Termination by Semantic Labelling.	CSL	2000	DBLP DOI BibTeX RDF
11	Christoph Helmberg	The m-Cost ATSP.	IPCO	1999	DBLP DOI BibTeX RDF
11	Martin F. van Bommel	Semantic Query Optimization for ODMG-93 Databases.	IDEAS	1999	DBLP DOI BibTeX RDF
11	Zdzislaw Splawski, Pawel Urzyczyn	Type Fixpoints: Iteration vs. Recursion.	ICFP	1999	DBLP DOI BibTeX RDF
11	David Niedzielski, Kleanthis Psarris	An Analytical Comparison of the I-Test and Omega Test.	LCPC	1999	DBLP DOI BibTeX RDF
11	Cesar Ortega-Sanchez, Andrew M. Tyrrell	Reliability Analysis in Self-Repairing Embryonic Systems.	Evolvable Hardware	1999	DBLP DOI BibTeX RDF
11	Ali-Reza Adl-Tabatabai, Michal Cierniak, Guei-Yuan Lueh, Vishesh M. Parikh, James M. Stichnoth	Fast, Effective Code Generation in a Just-In-Time Java Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	Java
11	Sin Yeung Lee, Tok Wang Ling	A Path Removing Technique for Detecting Trigger Termination.	EDBT	1998	DBLP DOI BibTeX RDF
11	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
11	Jae H. Kim, Ziqiang Liu, Andrew A. Chien	Compressionless Routing: A Framework for Adaptive and Fault-Tolerant Routing.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Routing networks, fault tolerance, wormhole routing, adaptive routing, deadlock prevention
11	Rajiv Gupta 0001, David A. Berson, Jesse Zhixi Fang	Path Profile Guided Partial Dead Code Elimation Using Predication.	IEEE PACT	1997	DBLP DOI BibTeX RDF
11	Anil Seth	Sharper Results on the Expressive Power of Generalized Quantifiers.	FSTTCS	1997	DBLP DOI BibTeX RDF
11	Ravichandran Ramachandran, Shih-Lien Lu	Efficient arithmetic using self-timing.	IEEE Trans. Very Large Scale Integr. Syst.	1996	DBLP DOI BibTeX RDF
11	Markus Hegland	Divide and Conquer for the Solution of Banded Linear Systems of Equations.	PDP	1996	DBLP DOI BibTeX RDF
11	Mauro Leoncini, Giovanni Manzini, Luciano Margara	Parallel Complexity of Householder QR Factorization.	ESA	1996	DBLP DOI BibTeX RDF
11	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs.	PLDI	1996	DBLP DOI BibTeX RDF
11	Tim Birus, Christine Cipriani, Dean Sutherland	Interprocedural Call Optimization.	Ada-Europe	1996	DBLP DOI BibTeX RDF
11	Kazuhito Ito, Keshab K. Parhi	Determining the minimum iteration period of an algorithm.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
11	Cristina Cifuentes	An Environment for the Reverse Engineering of Executable Programs.	APSEC	1995	DBLP DOI BibTeX RDF	reverse compiler, i80286, reverse engineering, signatures, C language, disassembler, dos
11	Dinesh Manocha, James Demmel	Algorithms for intersecting parametric and algebraic curves I: simple intersections.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	robustness, eigenvalues, algebraic, curves, intersection, parametric, resultants
11	Peter Baumgartner 0001, Ulrich Furbach	PROTEIN: A PROver with a Theory Extension INterface.	CADE	1994	DBLP DOI BibTeX RDF
11	Reinhard von Hanxleden, Ken Kennedy	GIVE-N-TAKE - A Balanced Code Placement Framework.	PLDI	1994	DBLP DOI BibTeX RDF	FORTRAN
11	S. T. Venkataraman, Sandeep Gulati	Terminal slider control of robot systems.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	terminal attactors, robotics, Robust control, sliding modes
11	Dhananjay M. Dhamdhere, Uday P. Khedker	Complexity of Bidirectional Data Flow Analysis.	POPL	1993	DBLP DOI BibTeX RDF
11	Wilfried Sieg, Stanley S. Wainer	Program Transformation and Proof Transformation.	CSL	1993	DBLP DOI BibTeX RDF
11	Andreas Krall, Thomas Berger	Fast Prolog with VAM1p based Prolog Compiler.	PLILP	1992	DBLP DOI BibTeX RDF
11	John F. Canny	An Improved Sign Determination Algorithm.	AAECC	1991	DBLP DOI BibTeX RDF
11	Larry M. Hines	Str+ve-Subset: The Str+ve-based Subset Prover.	CADE	1990	DBLP DOI BibTeX RDF
11	Rajiv Gupta 0001	A Fresh Look at Optimizing Array Bound Checking.	PLDI	1990	DBLP DOI BibTeX RDF
11	Mark E. Stickel	A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF
11	H. Q. Tan, X. Dong	Optimization Techniques for Symbolic Equation Solver in Engineering Applications.	ISSAC	1990	DBLP DOI BibTeX RDF	MACSYMA
11	Manfred Schmidt-Schauß	Unification in a Combination of Arbitrary Disjoint Equational Theories.	CADE	1988	DBLP DOI BibTeX RDF	Decidability of Unification, Combination of equational theories, Boolean rings, Unification, Equational theories, Abelian groups
11	Iain S. Duff	The Parallel Solution of Sparse Linear Equations.	CONPAR	1986	DBLP DOI BibTeX RDF
11	Manfred Nagl	Graph Rewriting and Automatic, Machine-Independent Program Optimization.	WG	1980	DBLP DOI BibTeX RDF
11	Robert H. Courtney Jr.	Security risk assessment in electronic data processing systems.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
11	Wilhelm Barth, Erich Nuding	Optimale Lösung von Intervallgleichungssystemen.	Computing	1974	DBLP DOI BibTeX RDF
11	David Pager	On Eliminating Unit Productions from LR(k) Parsers.	ICALP	1974	DBLP DOI BibTeX RDF
11	Tomasz Pietrzykowski	A Complete Mechanization of Second-Order Type Theory.	J. ACM	1973	DBLP DOI BibTeX RDF
11	Gary A. Kildall	A Unified Approach to Global Program Optimization.	POPL	1973	DBLP DOI BibTeX RDF
11	John W. Carr III, Jerome Welland	A nonrecursive method of syntax specification.	Commun. ACM	1966	DBLP DOI BibTeX RDF
10	Shyam Singh Rajput, Deepak Rai, Banti Kumar	OEINR-RFH: Outlier elimination based iterative neighbor representation for robust face hallucination.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
10	Yafei Ma, Dong Jiang, Zicheng Liu 0007, She Yan, Zhiyuan Wang, Ronghai Qu	Common-Mode Voltage Elimination of Dual Three-Phase Motor with Different Angular Displacements.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
10	Dongfang Li, Binxin Zhang, Rob Law 0001, Edmond Qi Wu, Xin Xu 0001	Error Constrained-Formation Path-Following Method With Disturbance Elimination for Multisnake Robots.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
10	Mingzhe Wu, Li Ding, Xiaona Xu, Kui Wang, Qiwei Lu, Yunwei Li 0001	A Common-Mode Voltage Elimination Scheme by Reference Voltage Decomposition for Back-to-Back Two-Level Converters.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
10	Hai Yu 0003, Qiuhua Wan, Lihui Liang, Changhai Zhao	Analysis and Elimination of Grating Disk Inclination Error in Photoelectric Displacement Measurement.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
10	K. S. Yamuna, S. Thirunavukkarasu, B. Manjunatha, B. Karthikeyan	Elimination of heart sound from respiratory sound using adaptive variational mode decomposition for pulmonary diseases diagnosis.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
10	Seiji Kataoka	A Subtour Elimination Constraint for Non-simpl e Circuit Problems.	J. Inf. Process.	2024	DBLP DOI BibTeX RDF
10	Zhixin Liu, Shengqi Zhu 0001, Jingwei Xu 0002, Xiongpeng He, Guisheng Liao, Lan Lan 0001	A novel vertical element-pulse coding scheme for range-ambiguous clutter elimination.	Signal Process.	2024	DBLP DOI BibTeX RDF
10	Siang Miang Yeo, Ho Kwang Yow, Keat Hoe Yeoh, Siti Nur Farhana Mohamad Azenal	Elimination of Die-Pop Defect by Vacuum Reflow for Ultrathin Die With Warpage in Semiconductor Packaging Assembly.	IEEE Trans. Reliab.	2024	DBLP DOI BibTeX RDF
10	Xintao Ding, Yonglong Luo, Biao Jie, Qingde Li, Yongqiang Cheng 0001	Using outlier elimination to assess learning-based correspondence matching methods.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
10	Hemanshi Chugh, Sonal Singh	Efficient co-planar adder designs in quantum dot cellular automata: Energy and cost optimization with crossover elimination.	Integr.	2024	DBLP DOI BibTeX RDF
10	Peeyush Kala, Vibhu Jately, Abhinav Sharma, Jyoti Joshi, Hossam Kotb, Kareem M. Aboras, Ali Elrashidi	GWO-NR Hybrid Method for Selective Harmonic Elimination in Multilevel Inverter for Distributed Energy Systems.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Yixin Duan, Liwei Chen, Xinzhi Zhou, Youan Shi, Nan Wu	Boiler Furnace Temperature Field Measurement and Reconstruction Error Elimination Based on Temperature Field Residual Correction Network.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
10	Thimmaraja Yadava G., B. G. Nagaraja, H. S. Jayanna	Amalgamation of noise elimination and TDNN acoustic modelling techniques for the advancements in continuous Kannada ASR system.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
10	Prabhleen Kaur Chawla, Meera S. Nair, Dattakumar Gajanan Malkhede, Hemprasad Yashwant Patil, Sumit Kumar Jindal, Avinash Chandra, Mahadev Anant Gawas	Parkinson's disease classification using nature inspired feature selection and recursive feature elimination.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
10	Onder Tutsoy, Gizem Gul Koç	Deep self-supervised machine learning algorithms with a novel feature elimination and selection approaches for blood test-based multi-dimensional health risks classification.	BMC Bioinform.	2024	DBLP DOI BibTeX RDF
10	Qiankun Feng, Shigang Wang, Yue Li 0003	Analysis of DAS Seismic Noise Generation and Elimination Process Based on Mean-SDE Diffusion Model.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
10	Wenping Ma 0001, Xiaoteng Wang, Hao Zhu 0009, Xiaoting Yang, Xiaoyu Yi 0002, Licheng Jiao	Significant Feature Elimination and Sample Assessment for Remote Sensing Small Objects' Detection.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
10	Soma Dutta, Dominik Slezak	Nature of decision valuations in elimination of redundant attributes.	Int. J. Approx. Reason.	2024	DBLP DOI BibTeX RDF
10	Xiubo Wang, Guangren Duan 0001	Fully Actuated System Approaches: Predictive Elimination Control for Discrete-Time Nonlinear Time-Varying Systems With Full State Constraints and Time-Varying Delays.	IEEE Trans. Circuits Syst. I Regul. Pap.	2024	DBLP DOI BibTeX RDF
10	Ling Xiao 0003, Beiji Zou, Xiaoyan Kui, Chengzhang Zhu, Wensheng Zhang 0002, Xuebing Yang, Bob Zhang 0001	A multi-feature-based intelligent redundancy elimination scheme for cloud-assisted health systems.	CAAI Trans. Intell. Technol.	2024	DBLP DOI BibTeX RDF
10	Cuiling Li, Rongyong Zhao, Yan Wang, Ping Jia, Wenjie Zhu, Yunlong Ma, Miyuan Li	Disturbance Propagation Model of Pedestrian Fall Behavior in a Pedestrian Crowd and Elimination Mechanism Analysis.	IEEE Trans. Intell. Transp. Syst.	2024	DBLP DOI BibTeX RDF
10	Jianing Fan, Shao-Hua Shi, Hong Xiang, Li Fu, Yanjing Duan, Dong-Sheng Cao 0001, Hongwei Lu	Predicting Elimination of Small-Molecule Drug Half-Life in Pharmacokinetics Using Ensemble and Consensus Machine Learning Methods.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
10	Shimpi Singh, Haranath Kar	Overflow Oscillation Elimination in Fixed-Point 2D Digital Filters Based on the Roesser Model.	J. Circuits Syst. Comput.	2024	DBLP DOI BibTeX RDF
10	Irik Z. Mukhametzyanov	Elimination of the Domains' Displacement of the Normalized Values in MCDM Tasks: The IZ-Method.	Int. J. Inf. Technol. Decis. Mak.	2024	DBLP DOI BibTeX RDF
10	Alan Edelman, John Urschel	Some New Results on the Maximum Growth Factor in Gaussian Elimination.	SIAM J. Matrix Anal. Appl.	2024	DBLP DOI BibTeX RDF
10	Yan Hu, Xiaozhao Fang, Peipei Kang, Yonghao Chen, Yuting Fang, Shengli Xie	Dual Noise Elimination and Dynamic Label Correlation Guided Partial Multi-Label Learning.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
10	Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan	Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.	CoRR	2024	DBLP DOI BibTeX RDF
10	Shuo Wang, Ge Cheng, Yun Zhang	Graph Elimination Networks.	CoRR	2024	DBLP DOI BibTeX RDF
10	Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao	Proving Information Inequalities by Gaussian Elimination.	CoRR	2024	DBLP DOI BibTeX RDF
10	Won-Seok Choi 0006, Hyundo Lee, Dong-Sig Han, Junseok Park, Heeyeon Koo, Byoung-Tak Zhang	DUEL: Duplicate Elimination on Active Memory for Self-Supervised Class-Imbalanced Learning.	CoRR	2024	DBLP DOI BibTeX RDF
10	Omer Cohen, Ron Meir, Nir Weinberger	Statistical curriculum learning: An elimination algorithm achieving an oracle risk.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jiwon Song, Kyungseok Oh, Taesu Kim, Hyungjun Kim, Yulhwa Kim, Jae-Joon Kim	SLEB: Streamlining LLMs through Redundancy Verification and Elimination of Transformer Blocks.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jonas Ballweg	PureLottery: Fair and Bias-Resistant Leader Election with a Novel Single-Elimination Tournament Algorithm.	CoRR	2024	DBLP DOI BibTeX RDF
10	Michael Mandlmayr, Ali Kemal Uncu	Quantifier Elimination for Normal Cone Computations.	CoRR	2024	DBLP DOI BibTeX RDF
10	Eugene Goldberg	Local Computing By Partial Quantifier Elimination.	CoRR	2024	DBLP DOI BibTeX RDF
10	Dimitris Bertsimas, Stefan C. M. ten Eikelder, Dick den Hertog, Nikolaos Trichakis	Pareto Adaptive Robust Optimality via a Fourier-Motzkin Elimination lens.	Math. Program.	2024	DBLP DOI BibTeX RDF
10	Iveta Kubasakova, Jaroslava Kubanova, Dominik Benco, Dominika Kadlecová	Implementation of Automated Guided Vehicles for the Automation of Selected Processes and Elimination of Collisions between Handling Equipment and Humans in the Warehouse.	Sensors	2024	DBLP DOI BibTeX RDF
10	Leroy Anozie, Bodo Fink, Christoph M. Friedrich, Christoph Engels	Monitoring Flow-Forming Processes Using Design of Experiments and a Machine Learning Approach Based on Randomized-Supervised Time Series Forest and Recursive Feature Elimination.	Sensors	2024	DBLP DOI BibTeX RDF
10	Meng Chen, Yongjian Li, Liting Zhang, Lei Liu, Baokun Han, Wenzhuo Shi, Shoushui Wei	Elimination of Random Mixed Noise in ECG Using Convolutional Denoising Autoencoder With Transformer Encoder.	IEEE J. Biomed. Health Informatics	2024	DBLP DOI BibTeX RDF
10	Paolo Maffezioli	Cut elimination for coherent theories in negation normal form.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
10	Gabriele Pulcini	Cut elimination by unthreading.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
10	Yifan Wang, Yang Li, Jiaqi Wang, Haofeng Lv, Jinshi Guo	Sparse optical flow outliers elimination method based on Borda stochastic neighborhood graph.	Mach. Learn. Sci. Technol.	2024	DBLP DOI BibTeX RDF
10	Yan Kang, Sayan Ghosh, Mahmut T. Kandemir, Andrés Márquez	Impact of Write-Allocate Elimination on Fujitsu A64FX.	HPC Asia Workshops	2024	DBLP DOI BibTeX RDF
10	Gerard Shu Fuhnwi, Matthew Revelle, Clemente Izurieta	Improving Network Intrusion Detection Performance : An Empirical Evaluation Using Extreme Gradient Boosting (XGBoost) with Recursive Feature Elimination.	ICAIC	2024	DBLP DOI BibTeX RDF
10	Tarsila Rani Soares de Vasconcelos, Lucia Reis Peixoto Roselli, Adiel Teixeira de Almeida	Performance of Holistic Evaluation for Multi-criteria Decisions Comparing Selection or Elimination of Alternatives.	ICDSST	2024	DBLP DOI BibTeX RDF
10	Eric Goubault, Sylvie Putot	Inner and outer approximate quantifier elimination for general reachability problems.	HSCC	2024	DBLP DOI BibTeX RDF
10	Won-Seok Choi 0006, Hyundo Lee, Dong-Sig Han, Junseok Park, Heeyeon Koo, Byoung-Tak Zhang	DUEL: Duplicate Elimination on Active Memory for Self-Supervised Class-Imbalanced Learning.	AAAI	2024	DBLP DOI BibTeX RDF