Search results for "parameterized"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Robert Soricone, Melvin Neville	Comparative analysis of genetic algorithm implementations.	SIGAda	2004	DBLP DOI BibTeX RDF	genetic algorithms, parameterized types
14	Michael Brachtl, Andreas Uhl, Werner Dietl	Key-dependency for a wavelet-based blind watermarking algorithm.	MM&Sec	2004	DBLP DOI BibTeX RDF	parameterized wavelet filters, wavelet packets, multiple watermarking, blind watermarking
14	Josep Díaz, Jordi Petit, Maria J. Serna	A survey of graph layout problems.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	Approximation algorithms, complexity, heuristics, embedding, layout, random graphs, parameterized complexity
14	Yung-Pin Cheng	Refactoring design models for inductive verification.	ISSTA	2002	DBLP DOI BibTeX RDF	concurrency, refactoring, compositional analysis, parameterized system, network invariants
14	Markus Frick, Martin Grohe	Deciding first-order properties of locally tree-decomposable structures.	J. ACM	2001	DBLP DOI BibTeX RDF	model-checking, locality, planar graphs, First-order logic, query evaluation, parameterized complexity, tree-width
14	Tony Givargis, Frank Vahid, Jörg Henkel	Trace-driven system-level power evaluation of system-on-a-chip peripheral cores.	ASP-DAC	2001	DBLP DOI BibTeX RDF	low power system design, parameterized architectures, system-on-a-chip, intellectual property, cores, system-level modeling
14	Frank Vahid, Ann Gordon-Ross	A self-optimizing embedded microprocessor using a loop table for low power.	ISLPED	2001	DBLP DOI BibTeX RDF	parameterized architectures, self-optimizing architecture, embedded systems, low-power, system-on-a-chip, platforms, cores, tuning
14	Arnold L. Rosenberg	Sharing Partitionable Workloads in Heterogeneous NOWs: Greedier Is Not Better.	CLUSTER	2001	DBLP DOI BibTeX RDF	Heterogeneous NOW, Parameterized architectural model, Self-scheduling protocol, Worksharing, Cluster computing, Network of workstations (NOW)
14	Greg Stitt, Frank Vahid, Tony Givargis, Roman L. Lysecky	A first-step towards an architecture tuning methodology for low power.	CASES	2000	DBLP DOI BibTeX RDF	parameterized architectures, embedded systems, low-power, system-on-a-chip, cores, tuning
14	Michael J. Black, Allan D. Jepson	Estimating Optical Flow in Segmented Images Using Variable-Order Parametric Models With Local Deformations.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	parameterized flow models, segmentation, Optical flow, local deformation, robust regression
14	Isabelle Vernier-Mounier	Symbolic Executions of Symmetrical Parallel Programs.	PDP	1996	DBLP DOI BibTeX RDF	parameterized programs, Petri net, symbolic execution
14	Moiez A. Tapia, Jerry H. Tucker	Complete Solution of Boolean Equations.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	reduced solutions, characteristic equation, complete solutions, number of distinct solutions, parameterized solutions, Boolean algebra, Boolean equations
14	Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe	The Euclid Language: a progress report.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Legality assertions, Machine dependencies, Visibility of names, Reliability, Verification, Language, Pascal, Aliasing, Storage allocation, Systems programming, Data encapsulation, Parameterized types, Euclid, EUCLID
11	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
11	Christopher Thomas Ryan, Albert Xin Jiang, Kevin Leyton-Brown	Computing pure strategy nash equilibria in compact symmetric games.	EC	2010	DBLP DOI BibTeX RDF	rational generating functions, symmetric games, game theory
11	Ove Daae Lampe, Carlos D. Correa, Kwan-Liu Ma, Helwig Hauser	Curve-Centric Volume Reformation for Comparative Visualization.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
11	Adrian M. Peter, Anand Rangarajan 0001	Information Geometry for Landmark Shape Analysis: Unifying Shape Representation and Deformation.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
11	Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong	Fair Model Checking with Process Counter Abstraction.	FM	2009	DBLP DOI BibTeX RDF
11	Qilong Feng, Yang Liu 0002, Songjian Lu, Jianxin Wang 0001	Improved Deterministic Algorithms for Weighted Matching and Packing Problems.	TAMC	2009	DBLP DOI BibTeX RDF
11	Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv	A combination framework for tracking partition sizes.	POPL	2009	DBLP DOI BibTeX RDF	combining analyses, set analysis, termination, shape analysis, numerical analysis, memory safety, space bounds
11	Noga Alon, Daniel Lokshtanov, Saket Saurabh 0001	Fast FAST.	ICALP (1)	2009	DBLP DOI BibTeX RDF
11	Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Elena Losievskaja, Frances A. Rosamond, Saket Saurabh 0001	Distortion Is Fixed Parameter Tractable.	ICALP (1)	2009	DBLP DOI BibTeX RDF
11	Joachim Giesen, Balint Miklos, Mark Pauly, Camille Wormser	The scale axis picture show.	SCG	2009	DBLP DOI BibTeX RDF	union of balls, skeleton, medial axis
11	Petr A. Golovach, Pinar Heggernes	Choosability of P5-Free Graphs.	MFCS	2009	DBLP DOI BibTeX RDF
11	Marcelo N. Kapp, Robert Sabourin, Patrick Maupin	A PSO-based framework for dynamic SVM model selection.	GECCO	2009	DBLP DOI BibTeX RDF	support vector machines, particle swarm optimization, model selection, dynamic optimization
11	Stefan Kratsch, Frank Neumann 0001	Fixed-parameter evolutionary algorithms and the vertex cover problem.	GECCO	2009	DBLP DOI BibTeX RDF	evolutionary algorithms, combinatorial optimization, multi-objective optimization, runtime analysis
11	Uriel Feige, Nicole Immorlica, Vahab S. Mirrokni, Hamid Nazerzadeh	PASS Approximation.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
11	Michael R. Fellows, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	Graph-Based Data Clustering with Overlaps.	COCOON	2009	DBLP DOI BibTeX RDF
11	Xin He, Brian S. Caffo, Eric C. Frey	Toward Realistic and Practical Ideal Observer (IO) Estimation for the Optimization of Medical Imaging Systems.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
11	Paul Blain Levy	Global State Considered Helpful.	MFPS	2008	DBLP DOI BibTeX RDF
11	Samia Nefti, Mourad Oussalah 0002, Uzay Kaymak	A New Fuzzy Set Merging Technique Using Inclusion-Based Fuzzy Clustering.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
11	Benoît Vaillant, Stéphane Lallich, Philippe Lenca	On the behavior of the generalizations of the intensity of implication: A data-driven comparative study.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	Statistical interestingness measures, intensity of implication, generalized measures
11	José-Luis Blanco, Javier Gonzalez 0001, Juan-Antonio Fernández-Madrigal	An optimal filtering algorithm for non-parametric observation models in robot localization.	ICRA	2008	DBLP DOI BibTeX RDF
11	Yi Guo 0004, Tang Tang	Optimal trajectory generation for nonholonomic robots in dynamic environments.	ICRA	2008	DBLP DOI BibTeX RDF
11	Sergio Cabello, Panos Giannopoulos, Christian Knauer, Günter Rote	Geometric clustering: fixed-parameter tractability and lower bounds with respect to the dimension.	SODA	2008	DBLP BibTeX RDF	clustering, complexity, lower bound, dimension, fixed-parameter tractability
11	Henning Fernau, Daniel Raible 0001	Exact Algorithms for Maximum Acyclic Subgraph on a Superclass of Cubic Graphs.	WALCOM	2008	DBLP DOI BibTeX RDF
11	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Monotonic Abstraction in Action.	ICTAC	2008	DBLP DOI BibTeX RDF
11	Andrei A. Krokhin, Dániel Marx	On the Hardness of Losing Weight.	ICALP (1)	2008	DBLP DOI BibTeX RDF
11	Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin	On Problems without Polynomial Kernels (Extended Abstract).	ICALP (1)	2008	DBLP DOI BibTeX RDF
11	Ananda S. Chowdhury, Jianhua Yao 0001, Robert L. Van Uitert Jr., Marius George Linguraru, Ronald M. Summers	Detection of anatomical landmarks in human colon from computed tomographic colonography images.	ICPR	2008	DBLP DOI BibTeX RDF
11	Chanying Li, Lei Guo 0001	An impossibility theorem on feedback based on stochastic embedding.	CDC	2008	DBLP DOI BibTeX RDF
11	Itthisek Nilkhamhang, Akira Sano	Model-based adaptive friction compensation for accurate position control.	CDC	2008	DBLP DOI BibTeX RDF
11	Hans L. Bodlaender, Michael R. Fellows, Pinar Heggernes, Federico Mancini 0001, Charis Papadopoulos, Frances A. Rosamond	Clustering with Partial Information.	MFCS	2008	DBLP DOI BibTeX RDF
11	Ravi Jampani, Fei Xu, Mingxi Wu, Luis Leopoldo Perez, Christopher M. Jermaine, Peter J. Haas	MCDB: a monte carlo approach to managing uncertain data.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	mcdb, uncertainty, monte carlo
11	Athanassios Koutsonas, Dimitrios M. Thilikos	Planar Feedback Vertex Set and Face Cover: Combinatorial Bounds and Subexponential Algorithms.	WG	2008	DBLP DOI BibTeX RDF
11	Yong Gao 0001	Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms.	SAT	2008	DBLP DOI BibTeX RDF
11	Antonio Cansado, Eric Madelaine	Specification and Verification for Grid Component-Based Applications: From Models to Tools.	FMCO	2008	DBLP DOI BibTeX RDF
11	Georgia Koutrika, Robert Ikeda, Benjamin Bercovitz, Hector Garcia-Molina	Flexible recommendations over rich data.	RecSys	2008	DBLP DOI BibTeX RDF	courserank, flexible recommendations, workflows
11	Ngo Anh Vien, TaeChoong Chung	Policy Gradient Semi-markov Decision Process.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
11	Yuan Zhang, Limin Zhang	Research on CGF Entity Model Based on Factory Mechanism.	CSSE (2)	2008	DBLP DOI BibTeX RDF
11	Yassin M. Hasan	From stream to provably secure block ciphers based on pseudorandom matrix transformations.	COMSWARE	2008	DBLP DOI BibTeX RDF
11	Saharon Rosset	Bi-level path following for cross validated solution of kernel quantile regression.	ICML	2008	DBLP DOI BibTeX RDF
11	Pangan Ting, Chao-Kai Wen, Jiunn-Tsair Chen	An Efficient CSI Feedback Scheme for MIMO-OFDM Wireless Systems.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
11	Frank K. H. A. Dehne, Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Kim Stevens	An O(2O(k)n3) FPT Algorithm for the Undirected Feedback Vertex Set Problem.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
11	Ravishankar Rao, Sarma B. K. Vrudhula	Energy optimal speed control of a producer-consumer device pair.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	joint optimization, processor, Energy optimization, disk drive, speed control
11	Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks	From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols.	MEMOCODE	2007	DBLP DOI BibTeX RDF
11	David Sheldon, Frank Vahid, Stefano Lonardi	Interactive presentation: Soft-core processor customization using the design of experiments paradigm.	DATE	2007	DBLP DOI BibTeX RDF
11	Tian Song, Zhizhong Tang, Dongsheng Wang 0002	Multilevel Pattern Matching Architecture for Network Intrusion Detection and Prevention System.	ICESS	2007	DBLP DOI BibTeX RDF
11	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Full Maude: Extending Core Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
11	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Module Operations.	All About Maude	2007	DBLP DOI BibTeX RDF
11	Thomas Poonnen, Adly T. Fam	A Novel VLSI Divide and Conquer Implementation of the Iterative Array Multiplier.	ITNG	2007	DBLP DOI BibTeX RDF
11	Alicja Mieszkowicz-Rolka, Leszek Rolka	Determining Significance of Attributes in the Unified Rough Set Approach.	RSFDGrC	2007	DBLP DOI BibTeX RDF
11	Marko Samer, Stefan Szeider	Backdoor Sets of Quantified Boolean Formulas.	SAT	2007	DBLP DOI BibTeX RDF
11	Mohamad Saad 0002	Nonlinear control of a one flexible link in the vertical plane.	SMC	2007	DBLP DOI BibTeX RDF
11	Quan Yuan, Ashwin Thangali, Vitaly Ablavsky, Stan Sclaroff	Parameter Sensitive Detectors.	CVPR	2007	DBLP DOI BibTeX RDF
11	Guoyan Zheng, Xiao Dong, Miguel Ángel González Ballester	Unsupervised Reconstruction of a Patient-Specific Surface Model of a Proximal Femur from Calibrated Fluoroscopic Images.	MICCAI (1)	2007	DBLP DOI BibTeX RDF	proximal femur, fluoroscopy, multiple-component geometrical model, surface reconstruction, particle filter, point distribution model
11	Guoyan Zheng, Xiao Dong	Particle Filter Based Automatic Reconstruction of a Patient-Specific Surface Model of a Proximal Femur from Calibrated X-Ray Images for Surgical Navigation.	ACIVS	2007	DBLP DOI BibTeX RDF	proximal femur, fluoroscopy, multiple-component geometrical model, surface reconstruction, particle filter, point distribution model
11	Michael R. Fellows, Frances A. Rosamond	The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number.	CiE	2007	DBLP DOI BibTeX RDF
11	Rachel Heck, Michael Gleicher	Parametric motion graphs.	SI3D	2007	DBLP DOI BibTeX RDF	motion capture, motion synthesis, motion graphs
11	Yijia Chen, Jörg Flum	Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping.	CSL	2007	DBLP DOI BibTeX RDF
11	Joachim Kneis, Daniel Mölle, Peter Rossmanith	Partial vs. Complete Domination: t-Dominating Set.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
11	Hao Yu 0001, Chunta Chu, Lei He 0001	Off-chip Decoupling Capacitor Allocation for Chip Package Co-Design.	DAC	2007	DBLP DOI BibTeX RDF
11	Wojciech Burakiewicz, Robert van Liere	Analyzing Complex FTMS Simulations: a Case Study in High-Level Visualization of Ion Motions.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Particle visualization, motion, motion features
11	Gregory Hornby	Shortcomings with using edge encodings to represent graph structures.	Genet. Program. Evolvable Mach.	2006	DBLP DOI BibTeX RDF	Neural networks, Genetic programming, Graphs, Representations, Circuits
11	Jean-Philippe Martin, Lorenzo Alvisi	Fast Byzantine Consensus.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	Distributed systems, consensus, Byzantine fault tolerance
11	E. Allen Emerson, Richard J. Trefler, Thomas Wahl	Reducing Model Checking of the Few to the One.	ICFEM	2006	DBLP DOI BibTeX RDF
11	Thomas M. Howard, Alonzo Kelly	Trajectory and Spline Generation for All-Wheel Steering Mobile Robots.	IROS	2006	DBLP DOI BibTeX RDF
11	José-Luis Blanco, Javier González 0001, Juan-Antonio Fernández-Madrigal	The Trajectory Parameter Space (TP-Space): A New Space Representation for Non-Holonomic Mobile Robot Reactive Navigation.	IROS	2006	DBLP DOI BibTeX RDF
11	Adrian M. Peter, Anand Rangarajan 0001	Shape analysis using the Fisher-Rao Riemannian metric: unifying shape representation and deformation.	ISBI	2006	DBLP DOI BibTeX RDF
11	Sylvain Guillemot, François Nicolas	Solving the Maximum Agreement SubTree and the Maximum Compatible Tree Problems on Many Bounded Degree Trees.	CPM	2006	DBLP DOI BibTeX RDF
11	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
11	Nina Bohr, Lars Birkedal	Relational Reasoning for Recursive Types and References.	APLAS	2006	DBLP DOI BibTeX RDF
11	Anand P. Santhanam, Cali M. Fidopiastis, Paul Davenport, Katja Langen, Sanford L. Meeks, Jannick P. Rolland	Real-Time Simulation and Visualization of Subject-Specific 3D Lung Dynamics.	CBMS	2006	DBLP DOI BibTeX RDF
11	Jeremy G. Siek, Walid Taha	A Semantic Analysis of C++ Templates.	ECOOP	2006	DBLP DOI BibTeX RDF
11	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Mixing signals and modes in synchronous data-flow systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	mode automata, compilation, synchronous, languages
11	Liyu Tang, Chongcheng Chen, Qinmin Wang, Jingjing Sun	Modeling of Pinus Massoniana Based Morphological Architecture.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
11	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	What's Decidable About Arrays?	VMCAI	2006	DBLP DOI BibTeX RDF
11	Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier	Robust Model-Checking of Linear-Time Properties in Timed Automata.	LATIN	2006	DBLP DOI BibTeX RDF	robust verification, Implementability, timed systems
11	Cédric du Mouza, Philippe Rigaux, Michel Scholl	On-line Aggregation and Filtering of Pattern-based Queries.	SSDBM	2006	DBLP DOI BibTeX RDF
11	Andreas Argyriou, Raphael Hauser, Charles A. Micchelli, Massimiliano Pontil	A DC-programming algorithm for kernel selection.	ICML	2006	DBLP DOI BibTeX RDF
11	Mohammad M. Mansour, Naresh R. Shanbhag	A Novel Design Methodology for High-Performance Programmable Decoder Cores for AA-LDPC Codes.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	turbo-decoding message-passing algorithm, VLSI decoder architectures, LDPC codes, Ramanujan graphs
11	Snehal Thakkar, José Luis Ambite, Craig A. Knoblock	Composing, optimizing, and executing plans for bioinformatics web services.	VLDB J.	2005	DBLP DOI BibTeX RDF	Dataflow-style streaming execution, Data integration, Bioinformatics, Query optimization, Web service composition
11	Jia Zhou, Kendra M. L. Cooper, I-Ling Yen, Raymond A. Paul	Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration.	ISORC	2005	DBLP DOI BibTeX RDF	component parameterization technique, QoS tradeoffs, rule base
11	Haruo Hosoya, Alain Frisch, Giuseppe Castagna	Parametric polymorphism for XML.	POPL	2005	DBLP DOI BibTeX RDF	XML, polymorphism, subtyping, tree automata
11	Shuhao Li, Ji Wang 0001, Xin Wang, Zhi-Chang Qi	Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
11	Chun-Ting Chou, S. N. Shankar, Kang G. Shin	Achieving per-stream QoS with distributed airtime allocation and admission control in IEEE 802.11e wireless LANs.	INFOCOM	2005	DBLP DOI BibTeX RDF
11	Claudiu Zissulescu, Bart Kienhuis, Ed F. Deprettere	Expression Synthesis in Process Networks generated by LAURA.	ASAP	2005	DBLP DOI BibTeX RDF
11	Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Automated type-based analysis of data races and atomicity.	PPoPP	2005	DBLP DOI BibTeX RDF	type system, type inference, atomicity, data races
11	Frank K. H. A. Dehne, Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Kim Stevens	An O(2O(k)n3) FPT Algorithm for the Undirected Feedback Vertex Set Problem.	COCOON	2005	DBLP DOI BibTeX RDF
11	Jianer Chen, Fenghui Zhang	On Product Covering in Supply Chain Models: Natural Complete Problems for W[3] and W[4].	AAIM	2005	DBLP DOI BibTeX RDF