Search results for "reduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Sang-Woon Kim, B. John Oommen	Optimizing Kernel-Based Nonlinear Subspace Methods Using Prototype Reduction Schemes.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Kernel based Nonlinear Subspace (KNS) Method, Kernel Principal Component Analysis (kPCA), Prototype Reduction Schemes (PRS)
18	Arun Chauhan 0001, Ken Kennedy	Optimizing strategies for telescoping languages: procedure strength reduction and procedure vectorization.	ICS	2001	DBLP DOI BibTeX RDF	procedure specialization, reduction in strength, telescoping languages, high-performance computing, vectorization, partial evaluation, Matlab, scripts, high-level languages, specialization, automatic differentiation
18	Igor A. Semaev	A 3-Dimensional Lattice Reduction Algorithm.	CaLC	2001	DBLP DOI BibTeX RDF	3-dimensional lattice, lattice reduction problem, shortest vector in a lattice, Gaussian algorithm, LLL-algorithm
18	Twan Basten, Dragan Bosnacki	Enhancing Partial-Order Reduction via Process Clustering.	ASE	2001	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
18	Masato Kitakami, Shunji Kubota, Hideo Ito	Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction.	PRDC	2001	DBLP DOI BibTeX RDF	Referential transparency, Fault tolerance, functional programming, message logging, graph reduction
18	Tarek A. El-Ghazawi, Sinthop Kaewpijit, Jacqueline Le Moigne	Parallel and Adaptive Reduction of Hyperspectral Data to Intrinsic Dimensionality.	CLUSTER	2001	DBLP DOI BibTeX RDF	Principal Component Analysis, Remote Sensing, Dimension Reduction, Hyperspectral
18	Tsong Yueh Chen, Man Fai Lau	Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation.	Ada-Europe	2001	DBLP DOI BibTeX RDF	software testing, Empirical study, specification based testing, test suite reduction
18	Patrick J. Schroeder, Bogdan Korel	Black-box test reduction using input-output analysis.	ISSTA	2000	DBLP DOI BibTeX RDF	input-output analysis, test reduction, black-box testing, combinatorial testing
18	Michael D. McCool	Anisotropic diffusion for Monte Carlo noise reduction.	ACM Trans. Graph.	1999	DBLP DOI BibTeX RDF	space-variant filtering, image processing, global illumination, Monte Carlo methods, noise reduction, image synthesis, anisotropic diffusion, light transport
18	Wen-Lin Hsu, Sheau-Dong Lang	Feature Reduction and Database Maintenance in NETNEWS Classification.	IDEAS	1999	DBLP DOI BibTeX RDF	batch updating, multi-level routing, inverted lists, text categorization, Feature reduction
18	B. Großer, Bruno Lang	Using Pentangular Factorizations for the Reduction to Banded Form.	Euro-Par	1999	DBLP DOI BibTeX RDF	Bidiagonal reduction, Parallel BLAS, Singular value decomposition, Linear algebra
18	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	State Space Reduction Based on Live Variables Analysis.	SAS	1999	DBLP DOI BibTeX RDF	live variables analysis, model checking, bisimulation, asynchronous communication, state space reduction
18	William L. Freking, Keshab K. Parhi	A Unified Method for Iterative Computation of Modular Multiplication and Reduction Operations.	ICCD	1999	DBLP DOI BibTeX RDF	public-key cryptography, modular multiplication, modular reduction, iterative computation
18	Jae Yeol Lee	A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF	variational design, constructive constraint solving, graph reduction, Parametric design
18	Dongsheng Wang 0012, Ernest S. Kuh	A Performance-Driven MCM Router with Special Consideration of Crosstalk Reduction.	DATE	1998	DBLP DOI BibTeX RDF	MCM routing, crosstalk reduction
18	S. Mathieu-Marni, Shyam Kuttikkad, Rama Chellappa	Context-Aided False Alarm Reduction for SAR Automatic Target Recognition.	ICIP (1)	1997	DBLP DOI BibTeX RDF	target pixels, context-aided false alarm reduction, high-resolution airborne SAR, constant false alarm rate, CFAR detection, 2D site model, multipass imagery, clutter discrimination, intensity features, target recognition algorithms, image registration, shape, synthetic aperture radar, synthetic aperture radar, size, automatic target recognition, radar image
18	Ibrahim M. Elfadel, David D. Ling	A block rational Arnoldi algorithm for multipoint passive model-order reduction of multiport RLC networks.	ICCAD	1997	DBLP DOI BibTeX RDF	Arnoldi iteration, multipoint Pade' approximation, passivity, model-order reduction
18	Oded Goldreich 0001, Shafi Goldwasser, Shai Halevi	Public-Key Cryptosystems from Lattice Reduction Problems.	CRYPTO	1997	DBLP DOI BibTeX RDF	Lattice Reduction Problems, Public-Key Cryptosystems
18	Wei Hong II, Weikai Sun, Zhenhai Zhu, Hao Ji, Ben Song, Wayne Wei-Ming Dai	A novel dimension reduction technique for the capacitance extraction of 3D VLSI interconnects.	ICCAD	1996	DBLP DOI BibTeX RDF	3D VLSI interconnects, DRT, Dimension Reduction Technique, FastCap, SPICELINK, dielectric layers, parallel signal lines, VLSI, capacitance extraction
18	Ljubomir J. Buturovic	Toward Bayes-Optimal Linear Dimension Reduction.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	Bayes optimal linear dimension reduction, multidimensional vectors, low dimensional space, Bayes error estimation, pattern recognition, probability, optimisation, optimisation, statistical analysis, Bayes methods, estimation theory, statistical pattern recognition, k-nearest neighbour, probability density
18	Edward P. C. Kao	Using state reduction for computing steady state vectors in Markov chains ofM/G/1 type.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Markov chains ofM/G/1 type, numerical solutions, state reduction
18	Philip J. Koopman Jr., Peter Lee 0001, Daniel P. Siewiorek	Cache Behavior of Combinator Graph Reduction.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	self-modifying code, combinators, abstract machine, graph reduction
18	Eric Saund	Dimensionality-Reduction Using Connectionist Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	pattern recognition, artificial intelligence, dimensionality-reduction, computerised pattern recognition, backpropagation, feature space, feature-vectors, data abstraction, multidimensional data, connectionist networks
18	David I. Bevan, Geoffrey Livingston Burn, R. J. Karia	Overview of a Parallel Reduction Machine Project.	PARLE (1)	1987	DBLP DOI BibTeX RDF	parallel reduction, concurrent distributed garbage collection, COBWEB, evaluation transformers, function languages, combinators
17	Houman Homayoun, Avesta Sasan, Aseem Gupta, Alexander V. Veidenbaum, Fadi J. Kurdahi, Nikil D. Dutt	Multiple sleep modes leakage control in peripheral circuits of a all major SRAM-based processor units.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	multiple sleep mode, peripheral circuits, sram memory, temperature reduction, leakage power
17	K. Selçuk Candan, Mario Cataldi, Maria Luisa Sapino	Reducing metadata complexity for faster table summarization.	EDBT	2010	DBLP DOI BibTeX RDF	metadata complexity, table summarization, taxonomy reduction
17	Tamás Kenesei, Johannes A. Roubos, János Abonyi	A Combination-of-Tools Method for Learning Interpretable Fuzzy Rule-Based Classifiers from Support Vector Machines.	IDEAL	2007	DBLP DOI BibTeX RDF	Classification, Support Vector Machine, Model Reduction, Fuzzy classifier
17	Shang-Wei Lin 0001, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen	Model Checking Prioritized Timed Automata.	ATVA	2005	DBLP DOI BibTeX RDF	Prioritized timed automata, DBM subtraction, zone merging, zone reduction
17	Sergei Gorlatch	Toward Formally-Based Design of Message Passing Programs.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	systematic program design, maximum segment sum, MPI, Message passing, program transformations, skeletons, reduction, scan, homomorphisms, collective operations
17	Max Hailperin	Cost-Optimal Code Motion.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	elimination of partial redundancies, code motion, strength reduction
17	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
17	Ge Gan, Xu Wang, Joseph B. Manzano, Guang R. Gao	Tile Reduction: The First Step towards Tile Aware Parallelization in OpenMP.	IWOMP	2009	DBLP DOI BibTeX RDF
17	Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer III	Phaser accumulators: A new reduction construct for dynamic parallelism.	IPDPS	2009	DBLP DOI BibTeX RDF
17	Fuchun Guo, Yi Mu 0001, Willy Susilo	How to Prove Security of a Signature with a Tighter Security Reduction.	ProvSec	2009	DBLP DOI BibTeX RDF	Signature, Security Proof, Chameleon Hash
17	Weiwei Kang, Steve Hranilovic	Power reduction techniques for multiple-subcarrier modulated diffuse wireless optical channels.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
17	Frank Plastria, Steven De Bruyne, Emilio Carrizosa	Dimensionality Reduction for Classification.	ADMA	2008	DBLP DOI BibTeX RDF
17	Stefan Schulte 0001, Samuel Morillas, Valentín Gregori, Etienne E. Kerre	A New Fuzzy Color Correlated Impulse Noise Reduction Method.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
17	Liuling Dai, Bing Huang, Dongxiao Yang	A Connection Degree-Based Rough Set Model and its Application to Knowledge Reduction.	SNPD (3)	2007	DBLP DOI BibTeX RDF
17	Jianhui Chen, Jieping Ye, Qi Li 0001	Integrating Global and Local Structures: A Least Squares Framework for Dimensionality Reduction.	CVPR	2007	DBLP DOI BibTeX RDF
17	Jia Lv	Rough Set Incremental Reduction Algorithm and Its Application in Dynamic Choosing Input Variable of Short Term Load Forecasting Model.	FSKD (4)	2007	DBLP DOI BibTeX RDF
17	Bing Huang, Ling Guo, Xianzhong Zhou	Approximation Reduction Based on Similarity Relation.	FSKD (3)	2007	DBLP DOI BibTeX RDF
17	Daisuke Yamaguchi, GuoDong Li, Masatake Nagai	A Grey-Rough Set Approach for Interval Data Reduction of Attributes.	RSEISP	2007	DBLP DOI BibTeX RDF
17	Jiucheng Xu, Lin Sun 0002	Knowledge Reduction and its Rough Entropy Representation of Decision Tables in Rough Set.	GrC	2007	DBLP DOI BibTeX RDF
17	Xinglin Wang, Ping Gong, Kai Niu 0001, Weiling Wu, Jie Zhang, Martin Weckerle	Decision Feedback Aided Detection Based on Lattice Reduction in MIMO Systems.	VTC Spring	2006	DBLP DOI BibTeX RDF
17	Xuan Zeng 0001, Lihong Feng, Yangfeng Su, Wei Cai 0003, Dian Zhou, Charles C. Chiang	Time domain model order reduction by wavelet collocation method.	DATE	2006	DBLP DOI BibTeX RDF
17	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
17	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan	Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications.	SPIN	2006	DBLP DOI BibTeX RDF
17	Scott McMaster, Atif M. Memon	Call Stack Coverage for GUI Test-Suite Reduction.	ISSRE	2006	DBLP DOI BibTeX RDF
17	Mingoo Kim, Sung-Kwan Joo	Feature Reduction Techniques for Power System Security Assessment.	ICNC (1)	2006	DBLP DOI BibTeX RDF
17	Zhuo Feng, Peng Li 0001	Performance-oriented statistical parameter reduction of parameterized systems via reduced rank regression.	ICCAD	2006	DBLP DOI BibTeX RDF
17	Ming Wu, Delin Xia, Puliu Yan	Difference Similitude Method in Knowledge Reduction.	FSKD	2006	DBLP DOI BibTeX RDF
17	Yu Hu 0002, Yan Lin 0001, Lei He 0001, Tim Tuan	Simultaneous time slack budgeting and retiming for dual-Vdd FPGA power reduction.	DAC	2006	DBLP DOI BibTeX RDF	FPGA, low power, retiming
17	Weiping Liao, Joseph M. Basile, Lei He 0001	Microarchitecture-level leakage reduction with data retention.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
17	Brigitte Pientka	Verifying Termination and Reduction Properties about Higher-Order Logic Programs.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	termination, Logical frameworks
17	Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip	Symmetry Reduction in SAT-Based Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
17	Hao Yu 0001, Lei He 0001, Zhenyu Qi, Sheldon X.-D. Tan	A wideband hierarchical circuit reduction for massively coupled interconnects.	ASP-DAC	2005	DBLP DOI BibTeX RDF
17	Xiaobing Pei, Yuanzhen Wang	A Heuristic Algorithm for Maximum Distribution Reduction.	FSKD (1)	2005	DBLP DOI BibTeX RDF
17	Sungbo Seo, Jaewoo Kang, Keun Ho Ryu	Multivariate Stream Data Reduction in Sensor Network Applications.	EUC Workshops	2005	DBLP DOI BibTeX RDF
17	Ling Zhuo, Viktor K. Prasanna	High-Performance and Area-Efficient Reduction Circuits on FPGAs.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
17	Scott McMaster, Atif M. Memon	Call Stack Coverage for Test Suite Reduction.	ICSM	2005	DBLP DOI BibTeX RDF
17	Fuzhong Nian, Ming Li 0015	Attribute value reduction in variable precision rough set.	PDCAT	2005	DBLP DOI BibTeX RDF
17	Shin'ichi Warisawa, Tatsuya Ishizuka, Mamoru Mitsuishi, Nobuhiko Sugano, Kazuo Yonenobu, Touji Nakazawa	Development of a Femur Fracture Reduction Robot.	ICRA	2004	DBLP DOI BibTeX RDF
17	Zining Cao	A Uniform Reduction Equivalence for Process Calculi.	APLAS	2004	DBLP DOI BibTeX RDF
17	Vishal Khandelwal, Ankur Srivastava 0001	Active mode leakage reduction using fine-grained forward body biasing strategy.	ISLPED	2004	DBLP DOI BibTeX RDF	forward body biasing, leakage power optimization
17	E. Allen Emerson, Thomas Wahl	On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking.	CHARME	2003	DBLP DOI BibTeX RDF
17	Kwang-deok Seo, Soon-kak Kwon, Sug Ky Hong, Jae-kyoon Kim	Dynamic bit-rate reduction based on frame-skipping and requantization for MPEG-1 to MPEG-4 transcoder.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
17	Moses Charikar, Amit Sahai	Dimension Reduction in the \ell _1 Norm.	FOCS	2002	DBLP DOI BibTeX RDF
17	Aleksy Schubert	The Complexity of beta-Reduction in Low Orders.	TLCA	2001	DBLP DOI BibTeX RDF
17	Richard Statman	Effective Reduction and Conversion Strategies for Combinators.	RTA	1997	DBLP DOI BibTeX RDF
17	Fairouz Kamareddine, Alejandro Ríos 0001	Generalized beta-Reduction and Explicit Substitution.	PLILP	1996	DBLP DOI BibTeX RDF
17	Gilles Barthe, Paul-André Melliès	On the Subject Reduction Property for Algebraic Type Systems.	CSL	1996	DBLP DOI BibTeX RDF
17	Paul Vanoostende, Paul Six, Hugo De Man	DARSI: RC data reduction [VLSI simulation].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
17	William M. Farmer, John D. Ramsdell, Ronald J. Watro	A Correctness Proof for Combinator Reduction with Cycles.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
17	Willem G. Vree	Implementation of Parallel Graph Reduction by Explicit Annotation and Program Transformation.	MFCS	1990	DBLP DOI BibTeX RDF
16	Ugo Dal Lago, Simone Martini 0001	On Constructor Rewrite Systems and the Lambda-Calculus.	ICALP (2)	2009	DBLP DOI BibTeX RDF
16	Tsau Young Lin, Jianchao Han	High Frequent Value Reduct in Very Large Databases.	RSFDGrC	2007	DBLP DOI BibTeX RDF	high frequency, relational database, Rough set theory, decision rule
16	Peng Li 0001, Lawrence T. Pileggi	Compact reduced-order modeling of weakly nonlinear analog and RF circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
16	Femke van Raamsdonk	Confluence and Superdevelopments.	RTA	1993	DBLP DOI BibTeX RDF
16	John Field	On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.	POPL	1990	DBLP DOI BibTeX RDF
16	Sébastien Labbé 0002	Réduction paramétrée de spécifications formées d'automates communicants : algorithmes polynomiaux pour la réduction de modèles. (Slicing Communicating Automata Specifications: Polynomial Algorithms for Model Reduction).		2007	RDF
16	Olivier Danvy	From Reduction-based to Reduction-free Normalization.	WRS	2004	DBLP DOI BibTeX RDF
16	Zhen Chen, Sharad C. Seth, Dong Xiang, Bhargab B. Bhattacharya	A Unified Solution to Scan Test Volume, Time, and Power Minimization.	VLSI Design	2010	DBLP DOI BibTeX RDF	Test power minimization, Test time reduction, Test data reduction, Nonlinear scan
16	Laila El Aimani	On Generic Constructions of Designated Confirmer Signatures.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Designated Confirmer signatures, Reduction/meta-reduction, Zero Knowledge, Generic construction
16	Rohit Kapur, Subhasish Mitra, Thomas W. Williams	Historical Perspective on Scan Compression.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF	scan compression, test data volume reduction, IC testing, test application time reduction
16	Moulay A. Barkatou, Gary Broughton, Eckhard Pflügel	Regular systems of linear functional equations and applications.	ISSAC	2008	DBLP DOI BibTeX RDF	moser-reduction, super-reduction, systems of linear functional equations, computer algebra, singularities
16	Sudarshan Bahukudumbi, Sule Ozev, Krishnendu Chakrabarty, Vikram Iyengar	AWafer-Level Defect Screening Technique to Reduce Test and Packaging Costs for "Big-D/Small-A" Mixed-Signal SoCs.	ASP-DAC	2007	DBLP DOI BibTeX RDF	mixed-signal cores, wafer-level defect screening, packaging cost reduction, big-D/small-A mixed-signal system-on-chip designs, mixed-signal SoC, consumer electronics market, wafer-level testing, correlation-based signature analysis, low-cost digital testers, generic cost model, mixed-signal test, digital logic, test cost reduction
16	Monique Guignard 0001, Ellis L. Johnson, Kurt Spielberg	Logical Processing for Integer Programming.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	reduction to minimal preferred inequalities, covers of low degrees, persistence of signs, double contraction, reduction schemes, integer programming, probing, logical processing, disaggregation
16	Martin Thuresson, Per Stenström	Evaluation of extended dictionary-based static code compression schemes.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	dynamic decompression, memory size reduction, code compression, code size reduction
16	Mahesh V. Tripunitara, Ninghui Li	Comparing the expressive power of access control models.	CCS	2004	DBLP DOI BibTeX RDF	augmented typed access matrix, state-matching reduction, typed access matrix, role-based access control, reduction, expressive power, discretionary access control
16	Ertem Tuncel, Hakan Ferhatosmanoglu, Kenneth Rose	VQ-index: an index structure for similarity searching in multimedia databases.	ACM Multimedia	2002	DBLP DOI BibTeX RDF	approximate similarity searching, retrieved information reduction, retrieved set reduction, clustering, indexing, vector quantization
16	Eric F. Weglarz, Kewal K. Saluja, Mikko H. Lipasti	Minimizing Energy Consumption for High-Performance Processing.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	BTB size, voltage reduction, frequency reduction, parallel processing, low power, energy savings, MPEG-2, cache size
16	Dietmar Saupe, B. Butz	Real-Time Very Low Bit Rate Video Coding with Adaptive Mean-Removed Vector Quantization.	ICIP (1)	1997	DBLP DOI BibTeX RDF	real-time very low bit rate video coding, adaptive mean-removed vector quantization, software-only implementation, frame replenishment, VQ codebook, search complexity reduction, adaptive codebook, head-and-shoulder image sequences, circuit switched applications, algorithms, video coding, personal computers, test sequences, entropy coding, video codec, block coding, bit rate reduction, video phone
16	Joseph Shu, Jamie Li, Andrei Pascovici	Multiple Layer Screening for Reducing Moir-Patterning and Ink Bleeding.	ICIP (1)	1997	DBLP DOI BibTeX RDF	ink jet printers, multiple layer screening, moire patterning reduction, ink bleeding reduction, screen generation, multiple layer cluster-dot, high resolution color ink jet printing, high quality ink jet printing, cluster-dot screens, horizontal print banding frequencies, visible beating frequency components, experimental results
16	F. G. Lorca, Lounis Kessal, Didier Demigny	Efficient ASIC and FPGA Implementations of IIR Filters for Real Time Edge Detection.	ICIP (2)	1997	DBLP DOI BibTeX RDF	Deriche filter architecture, real time edge detection, optimal edge detectors, FGGA circuits, memory size reduction, scale parameter, first order recursive filter, algorithm, ASIC, CMOS, adders, hardware implementation, IIR filters, IIR filters, software implementation, real time implementation, computation cost reduction, 1.2 micron
16	Nikos Paragios, Rachid Deriche	Detecting Multiple Moving Targets Using Deformable Contours.	ICIP (2)	1997	DBLP DOI BibTeX RDF	multiple moving targets detection, inter-frame difference, energy minimization approach, motion detection problem, front propagation problem, level set formulation, narrow band technique, CPU time reduction, multi-scale approach, real video sequences, image sequences, image sequences, experimental results, statistical approach, geodesic active contours, deformable contours, computational cost reduction, Laplacian distributions
16	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün	Verifying hardware in its software context.	ICCAD	1997	DBLP DOI BibTeX RDF	model-checking, verification, formal verification, co-design, partial order reduction, stepwise refinement, localization reduction, co-verification
16	Conrado Daws, Sergio Yovine	Reducing the number of clock variables of timed automata.	RTSS	1996	DBLP DOI BibTeX RDF	clock variable number reduction, active clock detection, equal clock detection, memory space reduction, real-time systems, real time systems, verification, case studies, timed automata, bisimulation, experimental results, system evolution
16	Dam LeQuang, André Zaccarin, S. Caron	Object-oriented coding using successive motion field segmentation and estimation.	ICIP	1995	DBLP DOI BibTeX RDF	object oriented coding, successive motion field segmentation, block based motion compensation, moving object boundaries, object oriented video compression algorithms, motion compensated images, successive motion field estimation, object oriented coder, maximum a posteriori probability estimate, translational motion field, complex motion models, computational complexity, image segmentation, motion estimation, probability, data compression, image sequences, video coding, video coding, image matching, maximum likelihood estimation, motion compensation, simulation results, video sequences, pixels, image regions, bit rate reduction, two stage algorithm, translational motion, computational complexity reduction
16	Sanjeev Arora	Reductions, Codes, PCPs, and Inapproximability.	FOCS	1995	DBLP DOI BibTeX RDF	NP-hard functions, code-like Levin reduction, complexity assumption, positive fraction, 3-colorable graph, code-like reduction, computational complexity, graph theory, error correction codes, error-correcting codes, NP-hardness, codes, inapproximability, PCPs, hardness, approximation ratio
16	Peter Kokol, Jernej Zavrsnik, Kurt Kancler, Martin Bigec, Ivan Malcic, Darko Ivancevic, Bozidar Tepes	Diagnostic Process Optimisation: A Two Levelled Approach.	CBMS	1995	DBLP DOI BibTeX RDF	diagnostic process optimisation, medical staff, computer-based information technology, paediatric cardiology, examinations minimization, patient risk reduction, 2-level approach, DIAPRO system, information system, optimisation, medical information systems, personnel, cardiology, design approach, cost reduction, medical diagnostic computing