Search results for "parameterized"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Hristo Nikolov, Todor P. Stefanov, Ed F. Deprettere	Modeling and FPGA Implementation of Applications Using Parameterized Process Networks with Non-Static Parameters.	FCCM	2005	DBLP DOI BibTeX RDF
15	Eugene Goldberg	Equivalence Checking of Circuits with Parameterized Specifications.	SAT	2005	DBLP DOI BibTeX RDF
15	Min-Young Nam, Chang-Gun Lee, Kanghee Kim, Marco Caccamo	Time-Parameterized Sensing Task Model for Real-Time Tracking.	RTSS	2005	DBLP DOI BibTeX RDF
15	Charalampos Papamanthou, Ioannis G. Tollis	Applications of Parameterized st-Orientations in Graph Drawing Algorithms.	GD	2005	DBLP DOI BibTeX RDF
15	Andreas Argyriou, Charles A. Micchelli, Massimiliano Pontil	Learning Convex Combinations of Continuously Parameterized Basic Kernels.	COLT	2005	DBLP DOI BibTeX RDF
15	John See, Madasu Hanmandlu, Shantaram Vasikarla	Fuzzy-based Parameterized Gaussian Edge Detector Using Global and Local Properties.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Gaussian edge detector, Gaussian membership function, contrast intensification, entropy optimization, Image enhancement
15	Naoyasu Ubayashi, Genki Moriyama, Hidehiko Masuhara, Tetsuo Tamai	A parameterized interpreter for modeling different AOP mechanisms.	ASE	2005	DBLP DOI BibTeX RDF	AOP, join point models
15	Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov	A uniform deductive approach for parameterized protocol safety.	ASE	2005	DBLP DOI BibTeX RDF	generalized substitutions, safety, assertion, symbolic model checking, reachability
15	Yinglei Song, Chunmei Liu, Xiuzhen Huang, Russell L. Malmberg, Ying Xu, Liming Cai	Efficient Parameterized Algorithm for Biopolymer Structure-Sequence Alignment.	WABI	2005	DBLP DOI BibTeX RDF
15	Luca Daniel, Chin Siong Ong, Sok Chay Low, Kwok Hong Lee, Jacob K. White 0001	A multiparameter moment-matching model-reduction approach for generating geometrically parameterized interconnect performance models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
15	Sergei A. Abramov, Anna A. Ryabenko	Sparse Power Series and Parameterized Linear Operators.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
15	Oskar Mencer, Wayne Luk	Parameterized High Throughput Function Evaluation for FPGAs.	J. VLSI Signal Process.	2004	DBLP DOI BibTeX RDF	FPGAs, function approximation, CORDIC, lookup table, rational approximation
15	Jiwu Huang, Junquan Hu, Daren Huang, Yun Q. Shi 0001	Improve security of fragile watermarking via parameterized wavelet.	ICIP	2004	DBLP DOI BibTeX RDF
15	Carmit Hazay, Moshe Lewenstein, Dina Sokol	Approximate Parameterized Matching.	ESA	2004	DBLP DOI BibTeX RDF
15	Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis	Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.	ATVA	2004	DBLP DOI BibTeX RDF
15	Zhiyun Chen, Huiqin Qu, Mingming Lu, Hong Zhu 0004	A Probabilistic Parameterized Algorithm for Vertex Cover in Sticker Model.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Tomonari Masada, Atsuhiro Takasu, Jun Adachi	Web Page Grouping Based on Parameterized Connectivity.	DASFAA	2004	DBLP DOI BibTeX RDF
15	Tomás Barros, Rabéa Boulifa, Eric Madelaine	Parameterized Models for Distributed Java Objects.	FORTE	2004	DBLP DOI BibTeX RDF
15	Michael J. Covington, Mustaque Ahamad, Irfan A. Essa, H. Venkateswaran	Parameterized Authentication.	ESORICS	2004	DBLP DOI BibTeX RDF
15	Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park	A Simple Method for Parameterized Verification of Cache Coherence Protocols.	FMCAD	2004	DBLP DOI BibTeX RDF
15	Marko Samer, Helmut Veith	Parameterized Vacuity.	FMCAD	2004	DBLP DOI BibTeX RDF
15	Rahul Agarwal, Scott D. Stoller	Type Inference for Parameterized Race-Free Java.	VMCAI	2004	DBLP DOI BibTeX RDF
15	E. Allen Emerson, Vineet Kahlon	Parameterized Model Checking of Ring-Based Message Passing Systems.	CSL	2004	DBLP DOI BibTeX RDF
15	Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi, Davide Patti	Multi-objective Optimization of a Parameterized VLIW Architecture.	Evolvable Hardware	2004	DBLP DOI BibTeX RDF
15	Dániel Marx	Parameterized Complexity of Constraint Satisfaction Problems.	CCC	2004	DBLP DOI BibTeX RDF
15	Elena Prieto-Rodriguez, Christian Sloper	Looking at the Stars.	IWPEC	2004	DBLP DOI BibTeX RDF
15	Michael R. Fellows, Stefan Szeider, Graham Wrightson	On Finding Short Resolution Refutations and Small Unsatisfiable Subsets.	IWPEC	2004	DBLP DOI BibTeX RDF
15	Holger Giese, Florian Klein 0001, Sven Burmester	Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
15	Tamarah Arons, Amir Pnueli, Lenore D. Zuck	Parameterized Verification by Probabilistic Abstraction.	FoSSaCS	2003	DBLP DOI BibTeX RDF
15	Brian A. Malloy, Peter J. Clarke, Errol L. Lloyd	A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications.	ISSRE	2003	DBLP DOI BibTeX RDF
15	Michael R. Fellows	New Directions and New Challenges in Algorithm Design and Complexity, Parameterized.	WADS	2003	DBLP DOI BibTeX RDF
15	Venkatesh Raman 0001, Saket Saurabh 0001	Parameterized Complexity of Directed Feedback Set Problems in Tournaments.	WADS	2003	DBLP DOI BibTeX RDF
15	Mohammad M. Mansour, Amit Mehrotra	Efficient core designs based on parameterized macrocells with accurate delay models.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
15	Ya-Lan Tsao, Ming Hsuan Tan, Jun-Xian Teng, Shyh-Jye Jou	Parameterized and low power DSP core for embedded systems.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
15	Makram M. Mansour, Mohammad M. Mansour, Amit Mehrotra	Parameterized Macrocells with Accurate Delay Models for Core-Based Designs.	ISQED	2003	DBLP DOI BibTeX RDF
15	Tony Givargis, Frank Vahid, Jörg Henkel	System-level exploration for Pareto-optimal configurations in parameterized system-on-a-chip.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
15	Viktor S. Lapinskii, Margarida F. Jacome, Gustavo de Veciana	Application-specific clustered VLIW datapaths: early exploration on a parameterized design space.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
15	Vikraman Arvind, Venkatesh Raman 0001	Approximation Algorithms for Some Parameterized Counting Problems.	ISAAC	2002	DBLP DOI BibTeX RDF
15	Sven Helmer, Carl-Christian Kanne, Guido Moerkotte	Optimized Translation of XPath into Algebraic Expressions Parameterized by Programs Containing Navigational Primitives.	WISE	2002	DBLP DOI BibTeX RDF
15	Luca Daniel, Chin Siong Ong, Sok Chay Low, Kwok Hong Lee, Jacob White 0001	Geometrically parameterized interconnect performance models for interconnect synthesis.	ISPD	2002	DBLP DOI BibTeX RDF	parametrized model order reduction, interconnect synthesis
15	Ryutarou Ohbuchi, Tomo Otagiri, Masatoshi Ibato, Tsuyoshi Takei	Shape-Similarity Search of Three-Dimensional Models Using Parameterized Statistics.	PG	2002	DBLP DOI BibTeX RDF	content-based search and retrieval, principal axes, geometric modeling, polygonal mesh, elastic matching
15	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to and side-effect analyses for Java.	ISSTA	2002	DBLP DOI BibTeX RDF
15	Annika Hinze, Agnès Voisard	A Parameterized Algebra for Event Notification Services.	TIME	2002	DBLP DOI BibTeX RDF
15	Fernando De la Torre, Michael J. Black	Robust Parameterized Component Analysis.	ECCV (4)	2002	DBLP DOI BibTeX RDF
15	Ying Zhu 0006, Dorin Comaniciu, Stuart C. Schwartz, Visvanathan Ramesh	Multimodal Data Representations with Parameterized Local Structures.	ECCV (1)	2002	DBLP DOI BibTeX RDF
15	Alessandro Bogliolo, Roberto Corgnati, Enrico Macii, Massimo Poncino	Parameterized RTL power models for soft macros.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
15	Michael R. Fellows	Parameterized Complexity: The Main Ideas and Some Research Frontiers.	ISAAC	2001	DBLP DOI BibTeX RDF
15	Sang-Eon Park, Carla N. Purdy	Parameterized Mobile Action Generator for a Wireless PCS Network.	MASCOTS	2001	DBLP DOI BibTeX RDF
15	Jochen Alber, Henning Fernau, Rolf Niedermeier	Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems.	ICALP	2001	DBLP DOI BibTeX RDF
15	Oskar Mencer, Nicolas Boullis, Wayne Luk, Henry Styles	Parameterized Function Evaluation for FPGAs.	FPL	2001	DBLP DOI BibTeX RDF
15	Thomas Ball, Sagar Chaki, Sriram K. Rajamani	Parameterized Verification of Multithreaded Software Libraries.	TACAS	2001	DBLP DOI BibTeX RDF
15	Tomoya Kitai, Tomohiro Yoneda	Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits.	PRDC	2001	DBLP DOI BibTeX RDF
15	Wayne P. Burleson, Prashant Jain, Subramanian Venkatraman	Dynamically Parameterized Architectures for Power-Aware Video Coding: Motion Estimation and DCT.	Workshop on Digital and Computational Video	2001	DBLP DOI BibTeX RDF
15	Todd Wareham	The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata.	CIAA	2000	DBLP DOI BibTeX RDF
15	Marios Iliopoulos, Theodore Antonakopoulos 0001	A Methodology for Implementing Medium Access Protocols Using a General Parameterized Architecture.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	general network architecture, design automation, communication systems
15	Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl	Abstracting WS1S Systems to Verify Parameterized Networks.	TACAS	2000	DBLP DOI BibTeX RDF
15	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka	Verification of Parameterized Systems Using Logic Program Transformations.	TACAS	2000	DBLP DOI BibTeX RDF
15	James J. Carrig Jr., Gerard G. L. Meyer	A parameterized ordering for cache-, register- and pipeline-efficient Givens QR decomposition.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	Givens, 65F25, superscalar processors, 65F05, 65Y10, QR algorithm
15	Chu-Song Chen, Chi-Kuo Yu, Yi-Ping Hung	New Calibration-free Approach for Augmented Reality based on Parameterized Cuboid Structure.	ICCV	1999	DBLP DOI BibTeX RDF
15	Zohar Manna, Henny Sipma	Verification of Parameterized Systems by Dynamic Induction on Diagrams.	CAV	1999	DBLP DOI BibTeX RDF
15	Alessandro Bogliolo, Roberto Corgnati, Enrico Macii, Massimo Poncino	Parameterized RTL power models for combinational soft macros.	ICCAD	1999	DBLP DOI BibTeX RDF
15	Yakup Genc, Jean Ponce, Yoram Leedan, Peter Meer	Parameterized Image Varieties and Estimation with Bilinear Constraints.	CVPR	1999	DBLP DOI BibTeX RDF	Parameter Estimation, Image-Based Rendering, Shape Representation and Recovery
15	Michael J. Black	Explaining Optical Flow Events with Parameterized Spatio-Temporal Models.	CVPR	1999	DBLP DOI BibTeX RDF	optical flow, human motion, Condensation, Bayes, motion recognition
15	Yakup Genc, Jean Ponce	Point- and Line-Based Parameterized Image Varieties for Image-Based Rendering.	Workshop on Vision Algorithms	1999	DBLP DOI BibTeX RDF
15	Michael D. Hutton, Jonathan Rose, Jerry P. Grossman, Derek G. Corneil	Characterization and parameterized generation of synthetic combinational benchmark circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
15	Kimihiro Ogawa, Michinari Kohno, Fusako Kitamura	PASTEL: A Parameterized Memory Characterization System.	DATE	1998	DBLP DOI BibTeX RDF	automatic characterization, cell library, timing, power, ASIC, LSI, on-chip-memory
15	Marco Cesati, Miriam Di Ianni	Parameterized Parallel Complexity.	Euro-Par	1998	DBLP DOI BibTeX RDF
15	Michael J. Black, Yaser Yacoob, Allan D. Jepson, David J. Fleet	Learning Parameterized Models of Image Motion.	CVPR	1997	DBLP DOI BibTeX RDF	eigenspace methods, non-rigid and articulated motion, learning, Optical flow, motion discontinuities
15	E. Allen Emerson, Kedar S. Namjoshi	Automatic Verification of Parameterized Synchronous Systems (Extended Abstract).	CAV	1996	DBLP DOI BibTeX RDF
15	Gabriel Taubin, Fernando Cukierman, Steve Sullivan, Jean Ponce, David J. Kriegman	Parameterized Families of Polynomials for Bounded Algebraic Curve and Surface Fitting.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	bounded algebraic curve fitting, model-based computer vision tasks, bounded zero sets, computer vision, geometric models, polynomials, polynomials, matrix algebra, surface fitting, surface fitting, curve fitting, shape descriptors, data sets
15	Konrad Slind	A Parameterized Proof Manager.	TPHOLs	1994	DBLP DOI BibTeX RDF
15	Per Andersson, Lars H. Philipson	Interaction semantics of a symbolic layout editor for parameterized modules.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
15	David G. Lowe	Fitting Parameterized Three-Dimensional Models to Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	2D image matching, model based pattern recognition, arbitrary curved surfaces, pattern recognition, picture processing, picture processing, 3D model, curve fitting, motion tracking, Levenberg-Marquardt method
15	W. Eric L. Grimson	On the recognition of parameterized 2D objects.	Int. J. Comput. Vis.	1989	DBLP DOI BibTeX RDF
15	Carlo H. Séquin, E. K. Smyrl	Parameterized Ray-tracing.	SIGGRAPH	1989	DBLP DOI BibTeX RDF
15	Richard Barth, Bertrand Serlet, Pradeep S. Sindhu	Parameterized Schematics.	DAC	1988	DBLP BibTeX RDF
15	Andrew P. Witkin, Kurt W. Fleischer, Alan H. Barr	Energy constraints on parameterized models.	SIGGRAPH	1987	DBLP DOI BibTeX RDF
15	Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing	On the Parameterized Algebraic Specification of Concurrent Systems.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
15	Günter Hornung, Peter Raulefs	Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities.	CAAP	1981	DBLP DOI BibTeX RDF
14	Fedor V. Fomin, Serge Gaspers, Saket Saurabh 0001, Alexey A. Stepanov	On Two Techniques of Combining Branching and Treewidth.	Algorithmica	2009	DBLP DOI BibTeX RDF	Exact exponential time algorithms, #3-Coloring, #Minimum dominating set, Minimum maximal matching, k-Weighted vertex cover, NP hard problems, Treewidth, Parameterized algorithms
14	Yunlong Liu 0001, Jianer Chen, Jianxin Wang 0001	On Counting 3-D Matchings of Size k.	Algorithmica	2009	DBLP DOI BibTeX RDF	3-D matching, Counting complexity, Approximation algorithm, Randomized algorithm, Parameterized algorithm
14	Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch	Parameterised Coloured Petri Net Channel Models.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Parameterized Protocol Channel Models, Datagram Congestion Control Protocol, Coloured Petri Nets, Reachability Analysis
14	Marko Samer, Stefan Szeider	Backdoor Sets of Quantified Boolean Formulas.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Backdoor sets, Variable dependencies, Parameterized complexity, Quantified Boolean formulas
14	Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh 0001, Dimitrios M. Thilikos	(Meta) Kernelization.	FOCS	2009	DBLP DOI BibTeX RDF	Polynonial Time Preprocessing, Counting Monadic Second Order Logic, Finite Integer Index, Graphs of Bounded Genus, Planar Graphs, Kernelization, Parameterized Algorithms, Finite State
14	Sari Onaissi, Khaled R. Heloue, Farid N. Najm	Clock skew optimization via wiresizing for timing sign-off covering all process corners.	DAC	2009	DBLP DOI BibTeX RDF	clock skew optimization, parameterized timing analysis, sign-off, wiresizing, variability
14	Michael R. Fellows, Christian Knauer, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Ulrike Stege, Dimitrios M. Thilikos, Sue Whitesides	Faster Fixed-Parameter Tractable Algorithms for Matching and Packing Problems.	Algorithmica	2008	DBLP DOI BibTeX RDF	Graph matching, Fixed parameter tractable, Parameterized complexity, Color coding, Set packing
14	Daniel Mölle, Stefan Richter 0001, Peter Rossmanith	Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Enumerate and expand, Exact algorithms, Vertex cover, Parameterized complexity
14	María Pilar Tormos, Antonio Luis Lova, Federico Barber, Laura Paola Ingolotti, Montserrat Abril, Miguel A. Salido	A Genetic Algorithm for Railway Scheduling Problems.	Metaheuristics for Scheduling in Industrial and Manufacturing Applications	2008	DBLP DOI BibTeX RDF	Train Timetabling Problem, Parameterized Regret-Based Biased Random Sampling, Real World Instances, Genetic Algorithms, Scheduling
14	Michael Lampis, Georgia Kaouri, Valia Mitsou	On the Algorithmic Effectiveness of Digraph Decompositions and Complexity Measures.	ISAAC	2008	DBLP DOI BibTeX RDF	Digraph decompositions, Treewidth, Parameterized Complexity
14	Daniel Smith 0003, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
14	Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin	Automated Formal Testing of C API Using T2C Framework.	ISoLA	2008	DBLP DOI BibTeX RDF	compliance testing, parameterized tests, medium-quality tests, Formal testing
14	Lance Fortnow, Rahul Santhanam	Infeasibility of instance compression and succinct PCPs for NP.	STOC	2008	DBLP DOI BibTeX RDF	instance compression, succinct PCPs, cryptography, parameterized complexity, polynomial hierarchy
14	Kord Eickmeyer, Martin Grohe, Magdalena Grüber	Approximation of Natural W[P]-Complete Minimisation Problems Is Hard.	CCC	2008	DBLP DOI BibTeX RDF	derandomisation, parameterized complexity, inapproximability
14	Joachim Giesen, Klaus Mueller 0001, Eva Schuberth, Lujin Wang, Peter Zolliker	Conjoint Analysis to Measure the Perceived Quality in Volume Rendering.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Volume Visualization, Conjoint Analysis, Parameterized Algorithms
14	Fabien Salzenstein, Christophe Collet 0001	Fuzzy Markov Random Fields versus Chains for Multispectral Image Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Fuzzy Markov field, fuzzy Markov chain, parameterized joint density, multispectral image segmentation, missing data
14	Natalia Juristo Juzgado, Ana María Moreno 0001, Wolfgang Strigel	Guest Editors' Introduction: Software Testing Practices in Industry.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	SQA, V&V, agile software testing, parameterized unit testing, testing practice, software testing, unit testing, symbolic execution, scripting language, test coverage, testing tools, test automation, test design, test design
14	Dominik Engel, Rade Kutil, Andreas Uhl	A symbolic transform attack on lightweight encryption based on wavelet filter parameterization.	MM&Sec	2006	DBLP DOI BibTeX RDF	ciphertext-only, known-plaintext, secret frequency domain, secret parameterized wavelet filters, attack, JPEG2000
14	David Sheldon, Rakesh Kumar 0002, Frank Vahid, Dean M. Tullsen, Roman L. Lysecky	Conjoining soft-core FPGA processors.	ICCAD	2006	DBLP DOI BibTeX RDF	conjoined processors, parameterized platforms, soft-core processors, FPGAs, customization, tuning
14	Shun Yan Cheung, James J. Lu, Catharine M. Wyss	Metadata management and relational databases.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	parameterized and meta-queries, data integration, metadata management
14	Martin Reuter 0001, Franz-Erich Wolter, Niklas Peinecke	Laplace-spectra as fingerprints for shape matching.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	parameterized surfaces and bodies, shape invariants, fingerprints, copyright protection, shape matching, NURBS, polyhedra, database retrieval, laplace-beltrami operator