Search results for "parameterized"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	David A. Basin, Manuel Clavel, José Meseguer 0001	Reflective metalogical frameworks.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	metalogics, reflection, rewriting logic, Membership equational logic
11	Gerome Miklau, Dan Suciu	Containment and equivalence for a fragment of XPath.	J. ACM	2004	DBLP DOI BibTeX RDF	XPath expressions, query containment, Tree pattern matching, query equivalence
11	Hazem N. Nounou, Kevin M. Passino	Stable auto-tuning of adaptive fuzzy/neural controllers for nonlinear discrete-time systems.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
11	Nilanjan Banerjee, Praveen Vellanki, Karam S. Chatha	A Power and Performance Model for Network-on-Chip Architectures.	DATE	2004	DBLP DOI BibTeX RDF
11	Mukesh Ranjan, Wim Verhaegen, Anuradha Agarwal, Hemanth Sampath, Ranga Vemuri, Georges G. E. Gielen	Fast, Layout-Inclusive Analog Circuit Synthesis using Pre-Compiled Parasitic-Aware Symbolic Performance Models.	DATE	2004	DBLP DOI BibTeX RDF
11	Benny Chor, Mike Fellows, David W. Juedes	Linear Kernels in Linear Time, or How to Save k Colors in O(n2) Steps.	WG	2004	DBLP DOI BibTeX RDF
11	Laura Brandán Briones, Ed Brinksma	A Test Generation Framework for quiescent Real-Time Systems.	FATES	2004	DBLP DOI BibTeX RDF
11	Harmen Wigert Boschloo, Thanh Mung Lam, Max Mulder, René van Paassen	Collision avoidance for a remotely-operated helicopter using haptic feedback.	SMC (1)	2004	DBLP DOI BibTeX RDF
11	Gregory Hornby	Shortcomings with Tree-Structured Edge Encodings for Neural Networks.	GECCO (2)	2004	DBLP DOI BibTeX RDF
11	Nam Sung Kim, Taeho Kgil, Valeria Bertacco, Todd M. Austin, Trevor N. Mudge	Microarchitectural power modeling techniques for deep sub-micron microprocessors.	ISLPED	2004	DBLP DOI BibTeX RDF	power modeling, deep sub-micron
11	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Incomprehensible Ranking.	TACAS	2004	DBLP DOI BibTeX RDF
11	Qiang Wang 0023, Haizhou Ai, Guangyou Xu	3D Model Based Expression Tracking in Intrinsic Expression Space.	FGR	2004	DBLP DOI BibTeX RDF
11	Raoul F. Badaoui, Hemanth Sampath, Anuradha Agarwal, Ranga Vemuri	A high level language for pre-layout extraction in parasite-aware analog circuit synthesis.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	MSL, pre-layout extraction, parasitics, analog VLSI
11	Filip Van Rysselberghe, Serge Demeyer	Evaluating Clone Detection Techniques from a Refactoring Perspective.	ASE	2004	DBLP DOI BibTeX RDF
11	Jianer Chen, Xiuzhen Huang, Iyad A. Kanj, Ge Xia	Linear FPT reductions and computational lower bounds.	STOC	2004	DBLP DOI BibTeX RDF	lower bound, complexity theory, NP-hard problems
11	Kirk W. Cameron, Rong Ge 0002	Predicting and Evaluating Distributed Communication Performance.	SC	2004	DBLP DOI BibTeX RDF	distributed systems, middleware, performance modeling and prediction
11	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Invisible Ranking.	VMCAI	2004	DBLP DOI BibTeX RDF
11	Chris Fraley, Adrian E. Raftery	Enhanced Model-Based Clustering, Density Estimation, and Discriminant Analysis Software: MCLUST.	J. Classif.	2003	DBLP DOI BibTeX RDF
11	Fei Wang 0002, Baba C. Vemuri, Murali Rao, Yunmei Chen	Cumulative Residual Entropy, A New Measure of Information & its Application to Image Alignment.	ICCV	2003	DBLP DOI BibTeX RDF
11	Marc L. Corliss, E. Christopher Lewis, Amir Roth	A DISE implementation of dynamic code decompression.	LCTES	2003	DBLP DOI BibTeX RDF	DISE, code decompression, code compression
11	Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook	A Symbolic Approach to Predicate Abstraction.	CAV	2003	DBLP DOI BibTeX RDF
11	Gianluca Palermo, Cristina Silvano, Vittorio Zaccaria	A Flexible Framework for Fast Multi-objective Design Space Exploration of Embedded Systems.	PATMOS	2003	DBLP DOI BibTeX RDF
11	Leonor Prensa Nieto	The Rely-Guarantee Method in Isabelle/HOL.	ESOP	2003	DBLP DOI BibTeX RDF
11	Volodymyr Beletskyy, Krzysztof Siedlecki	Finding Free Schedules for Non-uniform Loops.	Euro-Par	2003	DBLP DOI BibTeX RDF
11	Jens Gramm, Jiong Guo, Rolf Niedermeier	On Exact and Approximation Algorithms for Distinguishing Substring Selection.	FCT	2003	DBLP DOI BibTeX RDF
11	Fei Wang 0002, Baba C. Vemuri, Murali Rao, Yunmei Chen	A New & Robust Information Theoretic Measure and Its Application to Image Alignment.	IPMI	2003	DBLP DOI BibTeX RDF
11	Lu Xiao 0003, Howard M. Heys	Hardware Performance Characterization of Block Cipher Structures.	CT-RSA	2003	DBLP DOI BibTeX RDF
11	Ferdinand Börner, Andrei A. Bulatov, Peter Jeavons 0001, Andrei A. Krokhin	Quantified Constraints: Algorithms and Complexity.	CSL	2003	DBLP DOI BibTeX RDF
11	Amihood Amir, Kenneth Ward Church, Emanuel Dar	Separable attributes: a technique for solving the sub matrices character count problem.	SODA	2002	DBLP BibTeX RDF
11	Markus Frick, Martin Grohe	The Complexity of First-Order and Monadic Second-Order Logic Revisited.	LICS	2002	DBLP DOI BibTeX RDF
11	Gerome Miklau, Dan Suciu	Containment and Equivalence for an XPath Fragment. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
11	Jingyi Yu, Leonard McMillan, Steven J. Gortler	Scan Light Field Rendering.	PG	2002	DBLP DOI BibTeX RDF
11	Stéphane Demri, François Laroussinie, Philippe Schnoebelen	A Parametric Analysis of the State Explosion Problem in Model Checking.	STACS	2002	DBLP DOI BibTeX RDF
11	Douglas Fidaleo, Ulrich Neumann	CoArt: Co-articulation Region Analysis for Control of 2D Characters.	CA	2002	DBLP DOI BibTeX RDF	muscle actuation analysis, independent component analysis, Facial Analysis, animation control
11	Dimitris N. Metaxas	From Visual Input to Modeling Humans.	CA	2002	DBLP DOI BibTeX RDF
11	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Attacking Symbolic State Explosion.	CAV	2001	DBLP DOI BibTeX RDF
11	Martin R. Frerichs	Precise extraction of ultra deep submicron interconnect parasitics with parameterizable 3D-modeling: invited talk.	ASP-DAC	2001	DBLP DOI BibTeX RDF
11	Burkhard Englert, Larry Rudolph, Alexander A. Shvartsman	Developing and Refining an Adaptive Token-Passing Strategy.	ICDCS	2001	DBLP DOI BibTeX RDF
11	Michael Mascagni, Ashok Srinivasan	Corrigendum: Algorithm 806: SPRNG: a scalable library for pseudorandom number generation.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	lagged-Fibonacci generator, parallel random-number generators, random-number software, C++, FORTRAN, linear congruential generator, random-number tests
11	Adam Liwo, Jaroslaw Pillardy, Cezary Czaplewski, Jooyoung Lee 0002, Daniel R. Ripoll, Malgorzata Groth, Sylwia Rodziewicz-Motowidlo, Rajmund Kazmierkiewicz, Ryszard J. Wawak, Stanislaw Oldziej, Harold A. Scheraga	UNRES: a united-residue force field for energy-based prediction of protein structure - orgin and significance of multibody terms.	RECOMB	2000	DBLP DOI BibTeX RDF
11	Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer	Conter Machines: Decidable Properties and Applications to Verification Problems.	MFCS	2000	DBLP DOI BibTeX RDF
11	Filip Vandermeulen, Brecht Vermeulen, Piet Demeester, Frank Steegmans, Steven Vermeulen	An End to End QoS Discovery Architecture Embedded in a TINA Based Multimedia Platform.	ISCC	2000	DBLP DOI BibTeX RDF	QoS discovery, QoS matching, XML, CORBA, QoS management, multimedia services, TINA
11	Simon Leung, Adam Postula, Ahmed Hemani	Development of Programmable Architecture for Base-Band Processing.	EUROMICRO	2000	DBLP DOI BibTeX RDF
11	Dominik Slezak, Jakub Wroblewski	Application of Normalized Decision Measures to the New Case Classification.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
11	David A. Basin, Manuel Clavel, José Meseguer 0001	Rewriting Logic as a Metalogical Framework.	FSTTCS	2000	DBLP DOI BibTeX RDF
11	Andrew D. Wilson, Aaron F. Bobick	Parametric Hidden Markov Models for Gesture Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	computer vision, hidden Markov models, Gesture recognition, expectation-maximization algorithm, time-series modeling
11	Yaser Yacoob, Larry S. Davis	Tracking Rigid Motion using a Compact-Structure Constraint.	ICCV	1999	DBLP DOI BibTeX RDF
11	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Computing and Comparing Semantics of Programs in Four-Valued Logics.	MFCS	1999	DBLP DOI BibTeX RDF	logic programming, inconsistency, logics of knowledge, Four-valued logics
11	Andrew U. Frank	One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole.	COSIT	1999	DBLP DOI BibTeX RDF	Spatial Algebras, Parameterization of Algebras, Category Theory, Spatial Data Models
11	Michael J. Black, Allan D. Jepson	EigenTracking: Robust Matching and Tracking of Articulated Objects Using a View-Based Representation.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	eigenspace methods, view-based representations, parametric models of optical flow, object recognition, tracking, gesture recognition, motion analysis, robust estimation
11	Michael R. Fellows, Michael T. Hallett, Ulrike Stege	On the Multiple Gene Duplication Problem.	ISAAC	1998	DBLP DOI BibTeX RDF
11	Jan Friso Groote, Radu Mateescu 0001	Verification of Temporal Properties of Processes in a Setting with Data.	AMAST	1998	DBLP DOI BibTeX RDF
11	Michael R. Fellows, Michael T. Hallett, Chantal Korostensky, Ulrike Stege	Analogs and Duals of the MAST Problem for Sequences and Trees.	ESA	1998	DBLP DOI BibTeX RDF
11	Nikolaj S. Bjørner, Mark C. Pichora	Deciding Fixed and Non-fixed Size Bit-vectors.	TACAS	1998	DBLP DOI BibTeX RDF
11	Rolf Niedermeier	Some Prospects for Efficient Fixed Parameter Algorithms.	SOFSEM	1998	DBLP DOI BibTeX RDF
11	Serge Abiteboul, Moshe Y. Vardi, Victor Vianu	Fixpoint logics, relational machines, and computational complexity.	J. ACM	1997	DBLP DOI BibTeX RDF	fixpoint logic, relational complexity, computational complexity, complexity classes
11	Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper	Programming in the Large: The Algebraic-Functional Language Opal 2alpha.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
11	Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar	Symbolic Model Checking with Rich ssertional Languages.	CAV	1997	DBLP DOI BibTeX RDF
11	Douglas DeCarlo, Dimitris N. Metaxas	Blended Deformable Models.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	shape abstraction, physics-based modeling, Shape representation, shape estimation, shape blending
11	Michael Siff, Thomas W. Reps	Program Generalization for Software Reuse: From C to C++.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C++, C
11	Alberto Bugarín, Purificación Cariñena, Manuel Fernández Delgado, Senén Barro	Petri Net Representation of Fuzzy Reasoning under Incomplete Information.	ISMVL	1996	DBLP DOI BibTeX RDF	Fuzzy Reasoning, Fuzzy Petri Nets, Fuzzy Expert Systems
11	Michael J. Black, Allan D. Jepson	EigenTracking: Robust Matching and Tracking of Articulated Objects Using a View-Based Representation.	ECCV (1)	1996	DBLP DOI BibTeX RDF
11	David A. Basin, Nils Klarlund	Hardware Verification using Monadic Second-Order Logic.	CAV	1995	DBLP DOI BibTeX RDF
11	Sandip K. Biswas	Higher-Order Functors with Transparent Signatures.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
11	Juin-Yeu Lu, Shiu-Kai Chin	Linking HOL to a VLSI CAD System.	HUG	1993	DBLP DOI BibTeX RDF
11	Michael R. Fellows, Michael T. Hallett, Harold T. Wareham	DNA Physical Mapping: Three Ways Difficult.	ESA	1993	DBLP DOI BibTeX RDF
11	Michael R. Fellows, Neal Koblitz	Fixed-Parameter Complexity and Cryptography.	AAECC	1993	DBLP DOI BibTeX RDF
11	William W. Gaver	Synthesizing auditory icons.	INTERCHI	1993	DBLP DOI BibTeX RDF	interface techniques, multimedia, sound, auditory interfaces
11	Karl R. Abrahamson, Rodney G. Downey, Michael R. Fellows	Fixed-Parameter Intractability II (Extended Abstract).	STACS	1993	DBLP DOI BibTeX RDF
11	David J. Kriegman, Jean Ponce	On Recognizing and Positioning Curved 3-D Objects from Image Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	parametric surface patches, surface discontinuities, pattern recognition, pattern recognition, computer vision, picture processing, object models, occluding contours, image contours, 3-D objects, intersection curves
11	Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman	A Syntactic Theory of Transparent Parameterization.	ESOP	1990	DBLP DOI BibTeX RDF
11	Ramesh Subrahmanyam	Complexity of Algebraic Specification.	FSTTCS	1990	DBLP DOI BibTeX RDF
11	Juan Quemada, Santiago Pavón, Angel Fernández	State Exploration by Transformation with LOLA.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
11	Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne	Generic Lifecycle Support in the ALMA Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	ALMA, environment kernel, environment database, software objects, high-level tools, syntax-directed tools, software tools, programming environments, programming environments, database management systems, systems analysis, system documentation, system documentation, software lifecycle
11	Warren E. Cory	Layla: a VLSI layout language.	DAC	1985	DBLP DOI BibTeX RDF
11	Alan J. Demers, James E. Donahue	Data Types, Parameters, and Type Checking.	POPL	1980	DBLP DOI BibTeX RDF
11	Marvin H. Solomon	Type Definitions with Parameters.	POPL	1978	DBLP DOI BibTeX RDF
10	Azadeh Farzan, Dominik Klumpp, Andreas Podelski	Commutativity Simplifies Proofs of Parameterized Programs.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
10	Jingyu Cao, Lu Dong 0002, Changyin Sun	Correction: Hierarchical reinforcement learning for kinematic control tasks with parameterized action spaces.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
10	Jingyu Cao, Lu Dong 0002, Changyin Sun	Hierarchical reinforcement learning for kinematic control tasks with parameterized action spaces.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
10	Yang Yang 0046, Ling Tang, Tao Yan, Lanling Zeng, Xiangjun Shen, Yongzhao Zhan 0001	Parameterized $L_{0}$ Image Smoothing With Unsupervised Learning.	IEEE Trans. Emerg. Top. Comput. Intell.	2024	DBLP DOI BibTeX RDF
10	Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall	Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.	J. Object Technol.	2024	DBLP DOI BibTeX RDF
10	Zunjin Zhao, Hexiu Lin, Daming Shi 0001, Guoqing Zhou	A non-regularization self-supervised Retinex approach to low-light image enhancement with parameterized illumination estimation.	Pattern Recognit.	2024	DBLP DOI BibTeX RDF
10	Jiao-Jun Zhang, Yong-Hua Zhou, Qi-Ming Sun	Finite-Time Adaptive Neural Prescribed Performance Control for High-Order Nonlinearly Parameterized Switched Systems With Unmodeled Dynamics and Input Quantization.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Ting Wang 0001, Yuxiang Deng, Zhao Yang, Yang Wang 0019, Haibin Cai	Parameterized Deep Reinforcement Learning With Hybrid Action Space for Edge Task Offloading.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
10	Shaohua Li 0005, Marcin Pilipczuk, Manuel Sorge	Cluster Editing Parameterized above Modification-disjoint P3-packings.	ACM Trans. Algorithms	2024	DBLP DOI BibTeX RDF
10	Zhaolu Tian, Yudong Wang, Nian-Ci Wu, Zhongyun Liu	On the parameterized two-step iteration method for solving the matrix equation AXB = C.	Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
10	Siobhán Correnty, Elias Jarlebring, Kirk M. Soodhalter	Preconditioned Infinite GMRES for Parameterized Linear Systems.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Daniel Neuen	Isomorphism Testing Parameterized by Genus and Beyond.	SIAM J. Discret. Math.	2024	DBLP DOI BibTeX RDF
10	Jiaming Qi, Guangtao Ran, Bohui Wang, Jian Liu 0006, Wanyu Ma, Peng Zhou, David Navarro-Alarcon	Adaptive Shape Servoing of Elastic Rods Using Parameterized Regression Features and Auto-Tuning Motion Controls.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
10	Dongdong Qin, Zhehao Jin, Andong Liu, Wen-an Zhang 0001, Li Yu 0001	Asynchronous Event-Triggered Distributed Predictive Control for Multiagent Systems With Parameterized Synchronization Constraints.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
10	Nicolas Barral, Tommaso Taddei, Ishak Tifouti	Registration-based model reduction of parameterized PDEs with spatio-parameter adaptivity.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Charis Papadopoulos, Spyridon Tzimas	Computing a Minimum Subset Feedback Vertex Set on Chordal Graphs Parameterized by Leafage.	Algorithmica	2024	DBLP DOI BibTeX RDF
10	Arnab Maiti, Palash Dey	On Parameterized Complexity of Binary Networked Public Goods Game.	Algorithmica	2024	DBLP DOI BibTeX RDF
10	René van Bevern, Artem M. Kirilin, Daniel A. Skachkov, Pavel V. Smirnov, Oxana Yu. Tsidulko	Serial and parallel kernelization of Multiple Hitting Set parameterized by the Dilworth number, implemented on the GPU.	J. Comput. Syst. Sci.	2024	DBLP DOI BibTeX RDF
10	Vahan Mkrtchyan, Garik Petrosyan, K. Subramani 0001, Piotr Wojciechowski 0002	On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective.	Theory Comput. Syst.	2024	DBLP DOI BibTeX RDF
10	Yingkai Li, Yining Wang 0001, Yuan Zhou 0007	Nearly Minimax-Optimal Regret for Linearly Parameterized Bandits.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
10	Katarzyna Anna Kowalska, Michal Pilipczuk	Parameterized and approximation algorithms for coverings points with segments in the plane.	CoRR	2024	DBLP DOI BibTeX RDF
10	Václav Blazej, Boris Klemz, Felix Klesen, Marie Diana Sieper, Alexander Wolff 0001, Johannes Zink 0001	Constrained and Ordered Level Planarity Parameterized by the Number of Levels.	CoRR	2024	DBLP DOI BibTeX RDF
10	Yuan Lin, Xiao Liu, Zishun Zheng, Liyao Wang	Discretionary Lane-Change Decision and Control via Parameterized Soft Actor-Critic for Hybrid Action Space.	CoRR	2024	DBLP DOI BibTeX RDF