Search results for "parameterized"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter	Applying Modular Decomposition to Parameterized Cluster Editing Problems.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Edge modification problems, Bicluster graphs, NP-complete problems, Fixed-parameter tractability, Cluster graphs
15	Oleg Grodzevich, Henry Wolkowicz	Regularization using a parameterized trust region subproblem.	Math. Program.	2009	DBLP DOI BibTeX RDF	Trust region subproblem, L-curve, Image restoration, Regularization, Ill-conditioned problems
15	Monica Hernandez, Matías N. Bossa, Salvador Olmos	Registration of Anatomical Images Using Paths of Diffeomorphisms Parameterized with Stationary Vector Field Flows.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	LDDMM, Diffeomorphic registration, Infinite dimensional, Stationary parameterization, Efficient, Riemannian manifold, Computational Anatomy
15	Klaus Jansen	Parameterized approximation scheme for the multiple knapsack problem.	SODA	2009	DBLP DOI BibTeX RDF
15	Michael Dom, Michael R. Fellows, Frances A. Rosamond	Parameterized Complexity of Stabbing Rectangles and Squares in the Plane.	WALCOM	2009	DBLP DOI BibTeX RDF
15	Yijia Chen, Jörg Flum	A Logic for PTIME and a Parameterized Halting Problem.	LICS	2009	DBLP DOI BibTeX RDF
15	Joxan Jaffar, Andrew E. Santosa	Recursive Abstractions for Parameterized Systems.	FM	2009	DBLP DOI BibTeX RDF
15	Jirí Fiala 0001, Petr A. Golovach, Jan Kratochvíl	Parameterized Complexity of Coloring Problems: Treewidth versus Vertex Cover.	TAMC	2009	DBLP DOI BibTeX RDF
15	Hai Wang 0002, Hao Yu 0001, Sheldon X.-D. Tan	Fast analysis of nontree-clock network considering environmental uncertainty by parameterized and incremental macromodeling.	ASP-DAC	2009	DBLP DOI BibTeX RDF
15	Constanta-Nicoleta Bodea, Maria Dascalu 0001	A Parameterized Web-Based Testing Model for Project Management.	ICWL	2009	DBLP DOI BibTeX RDF	concept space graphs, testing, metadata, project management, web ontology language
15	Anuj Dawar, Yuguo He	Parameterized Complexity Classes under Logical Reductions.	MFCS	2009	DBLP DOI BibTeX RDF
15	Ahmad Ghazal, Dawit Yimam Seid, Ramesh Bhashyam, Alain Crolotte, Manjula Koppuravuri, Vinod G	Dynamic plan generation for parameterized queries.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	optimizations, compilation, dynamic
15	Mauricio Osorio 0001, Simone Pascucci	The Logical Consequence Role in LPNMR: A Parameterized Computation Approach.	LPNMR	2009	DBLP DOI BibTeX RDF
15	Henning Fernau, Serge Gaspers, Daniel Raible 0001	Exact and Parameterized Algorithms for Max Internal Spanning Tree.	WG	2009	DBLP DOI BibTeX RDF
15	Wilfried Jouve, Julien Bruneau 0001, Charles Consel	DiaSim: A Parameterized Simulator for Pervasive Computing Applications.	PerCom	2009	DBLP DOI BibTeX RDF
15	Jidi Zhao, Harold Boley, Weichang Du	Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic.	ICIC (2)	2009	DBLP DOI BibTeX RDF
15	Uday Doddannagari, Shiyan Hu, Weiping Shi	Fast characterization of parameterized cell library.	ISQED	2009	DBLP DOI BibTeX RDF
15	Melih Onus, Andréa W. Richa	Brief announcement: parameterized maximum and average degree approximation in topic-based publish-subscribe overlay network design.	SPAA	2009	DBLP DOI BibTeX RDF	optimization, peer-to-peer, multicast, overlay networks, pub/sub
15	Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes	A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management.	DAC	2009	DBLP DOI BibTeX RDF	CMP run-time management, MMKP, Pareto algebra
15	Hans L. Bodlaender, Daniel Lokshtanov, Eelko Penninkx	Planar Capacitated Dominating Set Is W[1]-Hard.	IWPEC	2009	DBLP DOI BibTeX RDF
15	Gregory Z. Gutin, Daniel Karapetyan, Igor Razgon	Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs.	IWPEC	2009	DBLP DOI BibTeX RDF
15	Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible 0001, Peter Rossmanith	An Exact Algorithm for the Maximum Leaf Spanning Tree Problem.	IWPEC	2009	DBLP DOI BibTeX RDF
15	Jean Daligault, Stéphan Thomassé	On Finding Directed Trees with Many Leaves.	IWPEC	2009	DBLP DOI BibTeX RDF
15	Qinmin Yang, Jonathan Blake Vance, Sarangapani Jagannathan	Control of Nonaffine Nonlinear Discrete-Time Systems Using Reinforcement-Learning-Based Linearly Parameterized Neural Networks.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
15	Kin Cheong Sou, Alexandre Megretski, Luca Daniel	A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
15	Xiaowen Chu 0001	Provisioning of Parameterized Quality of Service in 802.11e Based Wireless Mesh Networks.	Mob. Networks Appl.	2008	DBLP DOI BibTeX RDF	quality of service, wireless mesh network, 802.11e
15	Wenbin Guo, Shuguang Cui	A q-Parameterized Deterministic Annealing EM Algorithm Based on Nonextensive Statistical Mechanics.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
15	Tal Nir, Alfred M. Bruckstein, Ron Kimmel	Over-Parameterized Variational Optical Flow.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	L 1 regularization, Over-parametrization, Optical flow, Variational methods
15	Yungbum Jung, Kwangkeun Yi	Practical memory leak detector based on parameterized procedural summaries.	ISMM	2008	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, memory management, error detection, shape analysis, memory leaks
15	Jianxin Wang 0001, Dan Ning, Qilong Feng, Jianer Chen	An Improved Parameterized Algorithm for a Generalized Matching Problem.	TAMC	2008	DBLP DOI BibTeX RDF
15	Sankalita Saha, Neal K. Bambha, Shuvra S. Bhattacharyya	Parameterized design framework for hardware implementation of particle filters.	ICASSP	2008	DBLP DOI BibTeX RDF
15	Kristoffer Arnsfelt Hansen, Thomas Dueholm Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen	Approximability and Parameterized Complexity of Minmax Values.	WINE	2008	DBLP DOI BibTeX RDF
15	Shankar Neelkrishnan, Mei Yang, Yingtao Jiang, Lei Zhang 0014, Yulu Yang, Enyue Lu, Xiao-chun Yun	Design and Implementation of a Parameterized NoC Router and its Application to Build PRDT-Based NoCs.	ITNG	2008	DBLP DOI BibTeX RDF	PRDT, router, NoC
15	Khaled R. Heloue, Sari Onaissi, Farid N. Najm	Efficient block-based parameterized timing analysis covering all potentially critical paths.	ICCAD	2008	DBLP DOI BibTeX RDF
15	Minh Hoai Nguyen, Fernando De la Torre	Local minima free Parameterized Appearance Models.	CVPR	2008	DBLP DOI BibTeX RDF
15	Nadja Betzler, Jiong Guo, Rolf Niedermeier	Parameterized Computational Complexity of Dodgson and Young Elections.	SWAT	2008	DBLP DOI BibTeX RDF
15	Henning Fernau, Daniel Raible 0001	A Parameterized Perspective on Packing Paths of Length Two.	COCOA	2008	DBLP DOI BibTeX RDF
15	Venkatesh Raman 0001, Saket Saurabh 0001, Sriganesh Srihari	Parameterized Algorithms for Generalized Domination.	COCOA	2008	DBLP DOI BibTeX RDF
15	Sorin Olaru, Ioan Dumitrache, Didier Dumur	Geometrical Analysis of Model Predictive Control: A Parameterized Polyhedra Approach.	NAA	2008	DBLP DOI BibTeX RDF
15	Johann A. Makowsky	Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants.	CiE	2008	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine	Handling Parameterized Systems with Non-atomic Global Conditions.	VMCAI	2008	DBLP DOI BibTeX RDF
15	Luping Ding, Elke A. Rundensteiner	Index tuning for parameterized streaming groupby queries.	SSPS	2008	DBLP DOI BibTeX RDF	groupby, index tuning, streaming data processing, index selection
15	Soroush Abbaspour, Hanif Fatemi, Massoud Pedram	Parameterized Non-Gaussian Variational Gate Timing Analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
15	Rajeev R. Rao, Kaviraj Chopra, David T. Blaauw, Dennis Sylvester	Computing the Soft Error Rate of a Combinational Logic Circuit Using Parameterized Descriptors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
15	Monica Hernandez, Matías N. Bossa, Salvador Olmos	Registration of anatomical images using geodesic paths of diffeomorphisms parameterized with stationary vector fields.	ICCV	2007	DBLP DOI BibTeX RDF
15	Hannes Moser, Venkatesh Raman 0001, Somnath Sikdar	The Parameterized Complexity of the Unique Coverage Problem.	ISAAC	2007	DBLP DOI BibTeX RDF
15	Guillermo Payá Vayá, Javier Martín-Langerwerf, Piriya Taptimthong, Peter Pirsch	Design Space Exploration of Media Processors: A Parameterized Scheduler.	ICSAMOS	2007	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Parameterized Verification of Infinite-State Processes with Global Conditions.	CAV	2007	DBLP DOI BibTeX RDF
15	Muzammil Shahbaz, Keqin Li 0002, Roland Groz	Learning and Integration of Parameterized Components Through Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
15	Costas S. Iliopoulos, Marcin Kubica, M. Sohel Rahman, Tomasz Walen	Algorithms for Computing the Longest Parameterized Common Subsequence.	CPM	2007	DBLP DOI BibTeX RDF
15	Marc Thurley	Kernelizations for Parameterized Counting Problems.	TAMC	2007	DBLP DOI BibTeX RDF
15	Guillermo Payá Vayá, Javier Martín-Langerwerf, Piriya Taptimthong, Peter Pirsch	Design Space Exploration of Media Processors: A Generic VLIW Architecture and a Parameterized Scheduler.	ARCS	2007	DBLP DOI BibTeX RDF
15	Yazhuo Dong, Yong Dou	A Parameterized Architecture Model in High Level Synthesis for Image Processing Applications.	ASP-DAC	2007	DBLP DOI BibTeX RDF
15	Vikraman Arvind, Johannes Köbler, Wolfgang Lindner 0002	Parameterized Learnability of k -Juntas and Related Problems.	ALT	2007	DBLP DOI BibTeX RDF	Subject Classification Learning theory, computational complexity
15	Yohei Hasegawa, Hideharu Amano	Design Methodology and Trade-offs Analysis for Parameterized Dynamically Reconfigurable Processor Arrays.	FPL	2007	DBLP DOI BibTeX RDF
15	Qing Yi, Keith Seymour, Haihang You, Richard W. Vuduc, Daniel J. Quinlan	POET: Parameterized Optimizations for Empirical Tuning.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Siamak Nazari, John G. Thistle	Structural Conditions for Model-checking of Parameterized Networks.	ACSD	2007	DBLP DOI BibTeX RDF
15	Hannes Moser, Somnath Sikdar	The Parameterized Complexity of the Induced Matching Problem in Planar Graphs.	FAW	2007	DBLP DOI BibTeX RDF
15	Jianer Chen, Yang Liu 0002, Songjian Lu	An Improved Parameterized Algorithm for the Minimum Node Multiway Cut Problem.	WADS	2007	DBLP DOI BibTeX RDF
15	Timo Böhme, Erhard Rahm	Parameterized XPath Views.	BNCOD	2007	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine	Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).	TACAS	2007	DBLP DOI BibTeX RDF
15	Adrián Riesco 0001, Alberto Verdejo	Distributed Applications Implemented in Maude with Parameterized Skeletons.	FMOODS	2007	DBLP DOI BibTeX RDF	distributed applications, parameterization, Maude, Algorithmic skeletons
15	Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse	Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.	CONCUR	2007	DBLP DOI BibTeX RDF
15	Jörg Flum	Parameterized Complexity and Logic.	CiE	2007	DBLP DOI BibTeX RDF
15	Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti	Instantiation of Parameterized Data Structures for Model-Based Testing.	B	2007	DBLP DOI BibTeX RDF
15	Ratnakar Goyal, Sachin Shrivastava, Harindranath Parameswaran, Parveen Khurana	Improved First-Order Parameterized Statistical Timing Analysis for Handling Slew and Capacitance Variation.	VLSI Design	2007	DBLP DOI BibTeX RDF
15	Yijia Chen, Jörg Flum	On Parameterized Path and Chordless Path Problems.	CCC	2007	DBLP DOI BibTeX RDF
15	Jian Wang, Xin Li 0001, Lawrence T. Pileggi	Parameterized Macromodeling for Analog System-Level Design Exploration.	DAC	2007	DBLP DOI BibTeX RDF
15	Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo	A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
15	Michael R. Fellows, Jens Gramm, Rolf Niedermeier	On The Parameterized Intractability Of Motif Search Problems.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03D15, 68Q17, 68Q25
15	Domonkos Tikk, Zsolt Tivadar Kardkovács, Ferenc Szidarovszky	Voting with a parameterized veto strategy: solving the KDD Cup 2006 problem by means of a classifier committee.	SIGKDD Explor.	2006	DBLP DOI BibTeX RDF
15	Rainer Schaffer, Renate Merker	Parameterized Mapping of Algorithms onto Processor Arrays with Sub-Word Parallelism.	ICSAMOS	2006	DBLP DOI BibTeX RDF
15	Hisashi Kashima, Naoki Abe	A Parameterized Probabilistic Model of Network Evolution for Supervised Link Prediction.	ICDM	2006	DBLP DOI BibTeX RDF
15	Jinbo Xu, Feng Jiao, Bonnie Berger	A Parameterized Algorithm for Protein Structure Alignment.	RECOMB	2006	DBLP DOI BibTeX RDF
15	Ping Yu 0001, Weiwei Sun 0008, Baile Shi	A Parameterized Flexible Indexing Scheme for Data Broadcast in Wireless Mobile Environments.	CIT	2006	DBLP DOI BibTeX RDF	Air Index, Mobile Computing, Wireless Networks, Energy Conservation, Data Broadcast
15	Dániel Marx	A Parameterized View on Matroid Optimization Problems.	ICALP (1)	2006	DBLP DOI BibTeX RDF
15	Ling Zhuo, Viktor K. Prasanna	High-Performance and Parameterized Matrix Factorization on FPGAs.	FPL	2006	DBLP DOI BibTeX RDF
15	Jianer Chen, Iyad A. Kanj, Ge Xia	Improved Parameterized Upper Bounds for Vertex Cover.	MFCS	2006	DBLP DOI BibTeX RDF
15	Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin	DatalogDL: Datalog Rules Parameterized by Description Logics.	CSWWS	2006	DBLP DOI BibTeX RDF
15	Jen-Jou Hung, André Seifert	FlexSched: A Parameterized Data Schedule Generator for Multi-Channel Broadcast Systems.	MDM	2006	DBLP DOI BibTeX RDF
15	Xiao-fei Shi, Jidong Suo, Chang Liu, Li Li	A Novel Kurtosis-Dependent Parameterized Independent Component Analysis Algorithm.	ISNN (1)	2006	DBLP DOI BibTeX RDF
15	Xin Jia, Ranga Vemuri	Studying a GALS FPGA architecture using a parameterized automatic design flow.	ICCAD	2006	DBLP DOI BibTeX RDF
15	Ming-Yung Ko, Claudiu Zissulescu, Sebastian Puthenpurayil	Parameterized Looped Schedules for Compact Representationof Execution Sequences.	ASAP	2006	DBLP DOI BibTeX RDF
15	Venkatesh Raman 0001, Saket Saurabh 0001	Triangles, 4-Cycles and Parameterized (In-)Tractability.	SWAT	2006	DBLP DOI BibTeX RDF
15	Keqin Li 0002, Roland Groz, Muzammil Shahbaz	Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.	FORTE	2006	DBLP DOI BibTeX RDF
15	Yijia Chen, Martin Grohe	An Isomorphism between Subexponential and Parameterized Complexity Theory.	CCC	2006	DBLP DOI BibTeX RDF
15	Isabela Drummond, Sandra A. Sandri	Parameterized Imprecise Classification: Elicitation and Assessment.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
15	Ziqing Mao, Ninghui Li, William H. Winsborough	Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF
15	Yang Liu 0002, Songjian Lu, Jianer Chen, Sing-Hoi Sze	Greedy Localization and Color-Coding: Improved Matching and Packing Algorithms.	IWPEC	2006	DBLP DOI BibTeX RDF
15	Henning Fernau	edge dominating set: Efficient Enumeration-Based Exact Algorithms.	IWPEC	2006	DBLP DOI BibTeX RDF
15	Meena Mahajan, Venkatesh Raman 0001, Somnath Sikdar	Parameterizing MAX SNP Problems Above Guaranteed Values.	IWPEC	2006	DBLP DOI BibTeX RDF
15	Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001	Fixed-Parameter Tractability Results for Full-Degree Spanning Tree and Its Dual.	IWPEC	2006	DBLP DOI BibTeX RDF
15	Dániel Marx	Parameterized complexity of constraint satisfaction problems.	Comput. Complex.	2005	DBLP DOI BibTeX RDF	Subject classification. 68Q25, 68Q17
15	Carsten Schneider	Degree Bounds to Find Polynomial Solutions of Parameterized Linear Difference Equations in Pi-Sigma-Fields.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Linear Difference Equations, ??-Fields, Degree Bounds
15	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to analysis for Java.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	def-use analysis, side-effect analysis, Static analysis, context sensitivity, points-to analysis, class analysis
15	Milene Barbosa Carvalho, Alexandre Marques Amaral, Luiz Eduardo da Silva Ramos, Carlos Augusto Paiva da Silva Martins, Petr Ekel	Artificial Neural Network Engine: Parallel and Parameterized Architecture Implemented in FPGA.	PReMI	2005	DBLP DOI BibTeX RDF
15	Joachim Kneis, Daniel Mölle, Stefan Richter 0001, Peter Rossmanith	On the Parameterized Complexity of Exact Satisfiability Problems.	MFCS	2005	DBLP DOI BibTeX RDF
15	Salvatore Greco, Benedetto Matarazzo, Roman Slowinski	Rough Membership and Bayesian Confirmation Measures for Parameterized Rough Sets.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
15	Panagiotis Manolios, Sudarshan K. Srinivasan	A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems.	CHARME	2005	DBLP DOI BibTeX RDF
15	Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan	Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification.	CHARME	2005	DBLP DOI BibTeX RDF