Search results for "reduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Zhuo Feng, Peng Li 0001, Yaping Zhan	Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction.	DAC	2007	DBLP DOI BibTeX RDF
15	Saeed Mozaffari, Karim Faez, Volker Märgner, Haikal El Abed	Strategies for Large Handwritten Farsi/Arabic Lexicon Reduction.	ICDAR	2007	DBLP DOI BibTeX RDF
15	Luís Miguel Silveira, Joel R. Phillips	Resampling Plans for Sample Point Selection in Multipoint Model-Order Reduction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
15	Guoyong Shi, Bo Hu, C.-J. Richard Shi	On symbolic model order reduction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
15	Yanchang Zhao, Shichao Zhang 0001	Generalized Dimension-Reduction Framework for Recent-Biased Time Series Analysis.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	data mining, Time series analysis, feature extraction or construction
15	Li Deng 0001, Dong Yu 0001, Alex Acero	A bidirectional target-filtering model of speech coarticulation and reduction: two-stage implementation for phonetic recognition.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
15	Fan Min 0001, Qihe Liu, Chunlan Fang, Jianzhong Zhang	Reduction Based Symbolic Value Partition.	ICHIT	2006	DBLP DOI BibTeX RDF	Symbolic Value Partition, Partition Reduct, Optimal Symbolic Value Partition Problem, Binarization
15	Haibin Shen, Yier Jin, Rongquan You	Unbalanced Exponent Modular Reduction over Binary Field and Its Implementation.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
15	Changrui Yu, Hongwei Wang 0009, Yan Luo	A Heuristic Algorithm for Attribute Reduction of Decision-making Problem Based on Rough Set.	ISDA (1)	2006	DBLP DOI BibTeX RDF
15	Sung-Soo Kim, Myeong-Je Kim, T. Aaron Gulliver	A New PTS for PAPR Reduction by Local Search in GA.	IJCNN	2006	DBLP DOI BibTeX RDF
15	Nicolas Gama, Nick Howgrave-Graham, Henrik Koy, Phong Q. Nguyen	Rankin's Constant and Blockwise Lattice Reduction.	CRYPTO	2006	DBLP DOI BibTeX RDF
15	Jochen Alber, Britta Dorn, Rolf Niedermeier	A General Data Reduction Scheme for Domination in Graphs.	SOFSEM	2006	DBLP DOI BibTeX RDF
15	Masashi Sugiyama	Local Fisher discriminant analysis for supervised dimensionality reduction.	ICML	2006	DBLP DOI BibTeX RDF
15	Sang-Woon Kim, B. John Oommen	On Optimizing Kernel-Based Fisher Discriminant Analysis Using Prototype Reduction Schemes.	SSPR/SPR	2006	DBLP DOI BibTeX RDF
15	Jiancheng Sun, Yatong Zhou, Yaohui Bai, Jianguo Luo	Nonlinear Noise Reduction of Chaotic Time Series Based on Multi-dimensional Recurrent Least Squares Support Vector Machines.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
15	Jürgen Zobeley, Dirk Lebiedz, Julia Kammerer, Anton Ishmurzin, Ursula Kummer	A New Time-Dependent Complexity Reduction Method for Biochemical Systems.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
15	Xin Geng 0001, De-Chuan Zhan, Zhi-Hua Zhou	Supervised nonlinear dimensionality reduction for visualization and classification.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
15	Chirayu S. Amin, Masud H. Chowdhury, Yehea I. Ismail	Realizable reduction of interconnect circuits including self and mutual inductances.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
15	Theodoros Giannopoulos, Vassilis Paliouras	Low-Power VLSI Architectures for OFDM Transmitters Based on PAPR Reduction.	PATMOS	2005	DBLP DOI BibTeX RDF
15	Sang-Woo Kim, Hun-Hee Lee, Chan-Ho Park, Rag Gyu Jung, Heung-Gyoon Ryu	A PAPR Reduction Method Using the Correlation of Information in OFDM Communication System.	ICITA (2)	2005	DBLP DOI BibTeX RDF
15	Zhenyu Qi, Sheldon X.-D. Tan, Hao Yu 0001, Lei He 0001	Wideband modeling of RF/Analog circuits via hierarchical multi-point model order reduction.	ASP-DAC	2005	DBLP DOI BibTeX RDF
15	Debjit Sinha, Hai Zhou 0001	Yield driven gate sizing for coupling-noise reduction under uncertainty.	ASP-DAC	2005	DBLP DOI BibTeX RDF
15	Yoshihito Toyama	Reduction Strategies for Left-Linear Term Rewriting Systems.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
15	Mykola Pechenizkiy, Alexey Tsymbal, Seppo Puuronen	Local Dimensionality Reduction within Natural Clusters for Medical Data Analysis.	CBMS	2005	DBLP DOI BibTeX RDF
15	Feng Hu 0001, Guoyin Wang 0001, Hai Huang, Yu Wu 0001	Incremental Attribute Reduction Based on Elementary Sets.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
15	Ling Zhuo, Gerald R. Morris, Viktor K. Prasanna	Designing Scalable FPGA-Based Reduction Circuits Using Pipelined Floating-Point Cores.	IPDPS	2005	DBLP DOI BibTeX RDF
15	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan	Symbolic Partial Order Reduction for Rule Based Transition Systems.	CHARME	2005	DBLP DOI BibTeX RDF
15	Lior Wolf, Stanley M. Bileschi	Combining Variable Selection with Dimensionality Reduction.	CVPR (2)	2005	DBLP DOI BibTeX RDF
15	Takashi Mine, Hidemasa Kubota, Atsushi Kamo, Takayuki Watanabe, Hideki Asai	Modified hybrid reduction technique for the simulation of linear/nonlinear mixed circuits.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
15	Naoto Sasaoka, Keisuke Sumi, Yoshio Itoh, Kensaku Fujii	A new noise reduction system based on ALE and noise reconstruction filter.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
15	Jidong Long, Daniel G. Schwartz, Sara Stoecklin, Mahesh K. Patel	Application of Loop Reduction to Learning Program Behaviors for Anomaly Detection.	ITCC (1)	2005	DBLP DOI BibTeX RDF
15	Sara Sprenkle, Sreedevi Sampath, Emily Gibson, Lori L. Pollock, Amie L. Souter	An Empirical Comparison of Test Suite Reduction Techniques for User-Session-Based Testing of Web Applications.	ICSM	2005	DBLP DOI BibTeX RDF
15	Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund	Exploiting equivalence reduction and the sweep-line method for detecting terminal states.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
15	Rong Jiang 0002, Charlie Chung-Ping Chen	Realizable Reduction for Electromagnetically Coupled RLMC Interconnects.	DATE	2004	DBLP DOI BibTeX RDF
15	Pedro R. D'Argenio, Peter Niebert	Partial Order Reduction on Concurrent Probabilistic Programs.	QEST	2004	DBLP DOI BibTeX RDF
15	Janet Meiling Wang, Prashant Saxena, Omar Hafiz, Xing Wang	Realizable parasitic reduction for distributed interconnects using matrix pencil technique.	ASP-DAC	2004	DBLP DOI BibTeX RDF
15	Rahul M. Rao, Kanak Agarwal, Dennis Sylvester, Richard B. Brown, Kevin J. Nowka, Sani R. Nassif	Approaches to run-time and standby mode leakage reduction in global buses.	ISLPED	2004	DBLP DOI BibTeX RDF	pulsed buses, leakage, repeaters, MTCMOS
15	Önsen Toygar, Adnan Acan	Selection of Optimal Dimensionality Reduction Methods for Face Recognition Using Genetic Algorithms.	ADVIS	2004	DBLP DOI BibTeX RDF
15	Narender Hanchate, Nagarajan Ranganathan	A New Technique for Leakage Reduction in CMOS Circuits using Self-Controlled Stacked Transistors.	VLSI Design	2004	DBLP DOI BibTeX RDF
15	Yong Shi 0002, Aidong Zhang	A Shrinking-Based Dimension Reduction Approach for Multi-Dimensional Data Analysis.	SSDBM	2004	DBLP DOI BibTeX RDF
15	Songbo Tan	A Global Search Algorithm for Attributes Reduction.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
15	Michal Rewienski, Jacob K. White 0001	A trajectory piecewise-linear approach to model order reduction and fast simulation of nonlinear circuits and micromachined devices.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
15	Michael G. Dimopoulos, Panagiotis Linardis	Accelerating the compaction of test sequences in sequential circuits through problem size reduction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
15	Qingfeng Zhuge, Bin Xiao 0001, Edwin Hsing-Mean Sha	Code size reduction technique and implementation for software-pipelined DSP applications.	ACM Trans. Embed. Comput. Syst.	2003	DBLP DOI BibTeX RDF	scheduling, software pipelining, Retiming, DSP processors
15	Huang Chun, Yang Xuejun	Improve OpenMP Performance by Extending BARRIER and REDUCTION Constructs.	ISHPC	2003	DBLP DOI BibTeX RDF
15	Yiyan Tang, Lie Qian, Yuke Wang, Yvon Savaria	A new memory reference reduction method for FFT implementation on DSP.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
15	Frank van den Eijkhof, Hans L. Bodlaender	Safe Reduction Rules for Weighted Treewidth.	WG	2002	DBLP DOI BibTeX RDF
15	Fei Xie, James C. Browne	Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.	FASE	2002	DBLP DOI BibTeX RDF
15	Brigitte Pientka	Termination and Reduction Checking for Higher-Order Logic Programs.	IJCAR	2001	DBLP DOI BibTeX RDF
15	Gongde Guo, Hui Wang 0001, David A. Bell, Qingxiang Wu	Data Reduction Based on Spatial Partitioning.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
15	Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren	Beta Reduction Constraints.	RTA	2001	DBLP DOI BibTeX RDF
15	Hao Yu 0008, Lawrence Rauchwerger	Adaptive reduction parallelization techniques.	ICS	2000	DBLP DOI BibTeX RDF
15	Haruo Hayashi, Satoshi Tanaka, Kazunori Urabe, Haruhide Yoshida, Satoshi Inoue, Hideki Shima 0003, Nobuhisa Deki, Jun Kasagi, Takahiro Nishino, Masasuke Takashima	Digital City for Disaster Reduction - Development of Pictogram System for Disaster Management.	Digital Cities	2000	DBLP DOI BibTeX RDF
15	Xiaodong Zhang 0010, Kaushik Roy 0001	Peak Power Reduction in Low Power BIST.	ISQED	2000	DBLP DOI BibTeX RDF	BIST Synthesis, Weighted Random Pattern Generator, Testing, Low Power
15	Ali Akhavi	Threshold Phenomena in Random Lattices and Efficient Reduction Algorithms.	ESA	1999	DBLP DOI BibTeX RDF
15	Dragan Bosnacki	Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.	SPIN	1999	DBLP DOI BibTeX RDF
15	George S. Kang, David A. Heide	Acoustic noise reduction for speech communication: (second-order gradient microphone).	ISCAS (4)	1999	DBLP DOI BibTeX RDF
15	Kevin J. Kerns, Andrew T. Yang	Preservation of passivity during RLC network reduction via split congruence transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
15	Ernie Cohen, Leslie Lamport	Reduction in TLA.	CONCUR	1998	DBLP DOI BibTeX RDF
15	Hervé Deshayes	Cost of test reduction.	ITC	1998	DBLP DOI BibTeX RDF
15	Franz Baader	Combination of Compatible Reduction Orderings that are Total on Ground Terms.	LICS	1997	DBLP DOI BibTeX RDF
15	Eddy de Greef, Francky Catthoor, Hugo De Man	Array Placement for Storage Size Reduction in Embedded Multimedia Systems.	ASAP	1997	DBLP DOI BibTeX RDF
15	Prakash Arunachalam, Jacob A. Abraham, Manuel A. d'Abreu	A Hierarchal Approach for Power Reduction in VLSI Chips.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF
15	Alan Jeffrey	A Chemical Abstract Machine for Graph Reduction.	MFPS	1993	DBLP DOI BibTeX RDF
15	J. Robin B. Cockett, J. A. Hierrera	Decision Tree Reduction	J. ACM	1990	DBLP DOI BibTeX RDF
15	John Field, Tim Teitelbaum	Incremental Reduction in the lambda Calculus.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
15	C. V. Ramamoorthy, Yuh Yaw	A petri net reduction algorithm for protocol analysis.	SIGCOMM	1986	DBLP DOI BibTeX RDF
15	Ricardo Caferra	Proof by Matrix Reduction as Plan + Validation.	CADE	1982	DBLP DOI BibTeX RDF
15	Ferdinand Hommes	The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine.	ISCA	1982	DBLP BibTeX RDF
15	Jane W. Hughes, Malcolm S. Powell	A Reduction Specification for DTL.	Program Specification	1981	DBLP DOI BibTeX RDF
14	Florian Kantz, Thomas Ruschival, Philipp Nenninger, Detlef Streitferdt	Testing with Large Parameter Sets for the Development of Embedded Systems in the Automation Domain.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
14	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.	IFIP TCS	2008	DBLP DOI BibTeX RDF
14	Ja Chun Ku, Serkan Ozdemir, Gokhan Memik, Yehea I. Ismail	Thermal Management of On-Chip Caches Through Power Density Minimization.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
14	Thomas Rohdenburg, Volker Hohmann, Birger Kollmeier	Tutorial Hearing Aid Algorithms.	PATMOS	2005	DBLP DOI BibTeX RDF
14	Krzysztof R. Apt	Order independence and rationalizability.	TARK	2005	DBLP BibTeX RDF
14	Sujatha Kashyap, Vijay K. Garg	Exploiting predicate structure for efficient reachability detection.	ASE	2005	DBLP DOI BibTeX RDF	model checking, reachability, Mazurkiewicz traces
14	Steven L. Teig	The X architecture: not your father's diagonal wiring.	SLIP	2002	DBLP DOI BibTeX RDF
14	K'Andrea C. Bickerstaff, Michael J. Schulte, Earl E. Swartzlander Jr.	Parallel reduced area multipliers.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
13	Dominik Göddeke, Robert Strzodka	Cyclic Reduction Tridiagonal Solvers on GPUs Applied to Mixed-Precision Multigrid.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	mixed-precision iterative refinement, tridiagonal solvers, cyclic reduction, finite elements, multigrid, GPU Computing, NVIDIA CUDA
13	Ruiping Wang 0001, Shiguang Shan, Xilin Chen 0001, Jie Chen 0001, Wen Gao 0001	Maximal Linear Embedding for Dimensionality Reduction.	IEEE Trans. Pattern Anal. Mach. Intell.	2011	DBLP DOI BibTeX RDF	maximal linear patch, landmarks-based global alignment, Dimensionality reduction, manifold learning
13	Yu Wang 0002, Hong Luo, Ku He, Rong Luo, Huazhong Yang, Yuan Xie 0001	Temperature-Aware NBTI Modeling and the Impact of Standby Leakage Reduction Techniques on Circuit Performance Degradation.	IEEE Trans. Dependable Secur. Comput.	2011	DBLP DOI BibTeX RDF	temperature-aware NBTI modeling, circuit performance degradation, Negative bias temperature instability (NBTI), leakage reduction
13	Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu 0001	Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.	QEST	2011	DBLP DOI BibTeX RDF	unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking
13	Grzegorz Borowik, Tadeusz Luba, Dawid Zydek	Reduction of Knowledge Representation Using Logic Minimization Techniques.	ICSEng	2011	DBLP DOI BibTeX RDF	machine learning, knowledge representation, attribute reduction, logic minimization, complement, discernibility function
13	Hatem Ltaief, Jakub Kurzak, Jack J. Dongarra	Parallel Two-Sided Matrix Reduction to Band Bidiagonal Form on Multicore Architectures.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	Bidiagonal reduction, tile algorithms, singular value decomposition, multicores
13	Neil Mac Parthaláin, Qiang Shen 0001, Richard Jensen	A Distance Measure Approach to Exploring the Rough Set Boundary Region for Attribute Reduction.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	boundary region, classification, Rough sets, fuzzy sets, attribute reduction
13	Chuanliang Xia, Zhendong Liu	Property Preservation of Time Petri Net Reduction.	IITSI	2010	DBLP DOI BibTeX RDF	reduction, time Petri nets, equivalence, system verification, property preservation
13	Tiago A. Almeida 0001, Akebo Yamakami, Jurandy Almeida	Probabilistic anti-spam filtering with dimensionality reduction.	SAC	2010	DBLP DOI BibTeX RDF	anti-spam filtering, naive Bayes anti-spam filter, terms selection technique, dimensionality reduction
13	M. Saadeq Rafieee, Ali Akbar Khazaei	A Novel Approach to Noise Reduction and Real-Time Enhancement of Speech Synthesis.	CICSyN	2010	DBLP DOI BibTeX RDF	Natural Synthetic Speech Approach (NSSA), Linear Predictive Coding (LPC), Advance Noise Reduction, Real Time Data Exchange (RTDX)
13	Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs	Partial Order Reduction for Branching Security Protocols.	ACSD	2010	DBLP DOI BibTeX RDF	branching security protocols, bisimulation, partial order reduction
13	Willian Paraguassu Amorim, Hemerson Pistori, Mauro Conti Pereira, Manuel Antonio Chagas Jacinto	Attributes Reduction Applied to Leather Defects Classification.	SIBGRAPI	2010	DBLP DOI BibTeX RDF	leather defect detection, linear discriminant analysis, attributes reduction
13	Jian Xiang	Motion Control Based on Dimensional Reduction and Human Computer Interaction.	MVHI	2010	DBLP DOI BibTeX RDF	Human Computer Interaction, Dimension reduction, Motion Control
13	Sa'ed Abed, Otmane Aït Mohamed	MDGs Reduction Technique Based on the HOL Theorem Prover.	ISMVL	2010	DBLP DOI BibTeX RDF	Soundness, Reduction Techniques, Multiway Decision Graphs, HOL Theorem Prover
13	Zhijun Zheng	Analysis and Comparison of Dimensional Reduction Based on Capture Data.	APWCS	2010	DBLP DOI BibTeX RDF	dimensinal reduction, capture data, machine learning, motion control
13	Tayfun Elmas	QED: a proof system based on reduction and abstraction for the static verification of concurrent software.	ICSE (2)	2010	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
13	Ivana Palunko, Stjepan Bogdan	Small Helicopter Control Design Based on Model Reduction and Decoupling.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Small scale helicopter, Multivariable control, Model reduction, Decoupling
13	Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa	Compiler Support for Code Size Reduction Using a Queue-Based Processor.	Trans. High Perform. Embed. Archit. Compil.	2009	DBLP DOI BibTeX RDF	Reduced bit-width Instruction Set, Queue Computation Model, Code Generation, Code Size Reduction
13	Guojie Song, Bin Cui 0001, Baihua Zheng, Kunqing Xie, Dongqing Yang	Accelerating sequence searching: dimensionality reduction method.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Sequence similarity search, Sequence embedding, Index, Dimension reduction
13	Theodoros Giannopoulos, Vassilis Paliouras	A Low-Complexity PTS-based PAPR Reduction Technique for OFDM Signals without Transmission of Side Information.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	PAPR reduction, PTS, VLSI, OFDM
13	Changyou Chen, Junping Zhang, Rudolf Fleischer	Multilinear Tensor-Based Non-parametric Dimension Reduction for Gait Recognition.	ICB	2009	DBLP DOI BibTeX RDF	multi-linear tensor, dimension reduction, gait recognition, Subspace learning, small sample size problem
13	Damien Imbs, Michel Raynal	Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation.	SSS	2009	DBLP DOI BibTeX RDF	t-Resilience, Wait-free environment, Fault-Tolerance, Distributed computability, Shared memory system, Reduction, Arbiter, Asynchronous processes, Process crash failure