Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Irena Mlýnková	Equivalence of XSD Constructs and Its Exploitation in Similarity Evaluation.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF
14	Jianfei Dong, Michel Verhaegen	On the equivalence of closed-loop subspace predictive control with LQG.	CDC	2008	DBLP DOI BibTeX RDF
14	Nicolas Hudon, Kai Hoffner, Martin Guay	Equivalence to dissipative Hamiltonian realization.	CDC	2008	DBLP DOI BibTeX RDF
14	Zhongjing Ma, Roland P. Malhamé, Peter E. Caines	Distributed control for radial loss network systems via the ash Certainty Equivalence (mean field) principle.	CDC	2008	DBLP DOI BibTeX RDF
14	Rodrigo de Souza	On the Decidability of the Equivalence for k-Valued Transducers.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
14	Zining Cao	Equivalence Checking for a Finite Higher Order pi-Calculus.	TAP	2008	DBLP DOI BibTeX RDF
14	Carl Pixley	Practical Considerations Concerning HL-to -RT Equivalence Checking.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
14	Nathaniel Gustafson, Maria Soledad Pera, Yiu-Kai Ng	Generating Fuzzy Equivalence Classes on RSS News Articles for Retrieving Correlated Information.	ICCSA (2)	2008	DBLP DOI BibTeX RDF
14	Tibor Jager, Jörg Schwenk	On the Equivalence of Generic Group Models.	ProvSec	2008	DBLP DOI BibTeX RDF
14	Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson	Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Controllability, Synthesis, Discrete event systems, Supervisory control, Model reduction, Finite state automata, Nonblocking
14	Sokratis Makrogiannis, Ragini Verma, Christos Davatzikos	Anatomical Equivalence Class: A Morphological Analysis Framework Using a Lossless Shape Descriptor.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
14	Jun Ho Jeong, Mohsen Kavehrad	On the Equivalence of Turbo Multiuser Detector using MMSE with A-Priori Information and Soft Interference Cancellation Followed by MMSE Filtering.	Int. J. Wirel. Inf. Networks	2007	DBLP DOI BibTeX RDF	turbo processing, MMSE estimation, multiuser detection
14	Yunpeng Pan, Leyuan Shi	On the equivalence of the max-min transportation lower bound and the time-indexed lower bound for single-machine scheduling problems.	Math. Program.	2007	DBLP DOI BibTeX RDF	Time-indexing, Scheduling, Combinatorial optimization
14	Tafline Murnane, Karl Reed, Richard Hall	On the Learnability of Two Representations of Equivalence Partitioning and Boundary Value Analysis.	ASWEC	2007	DBLP DOI BibTeX RDF
14	Emanuel Kieronski, Lidia Tendera	On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards.	LPAR	2007	DBLP DOI BibTeX RDF
14	Joachim Pistorius, Mike Hutton, Jay Schleicher, Mihail Iotov, Enoch Julias, Kumara Tharmalingam	Equivalence Verification of FPGA and Structured ASIC Implementations.	FPL	2007	DBLP DOI BibTeX RDF
14	Michael Domaratzki	Equivalence in Template-Guided Recombination.	DNA	2007	DBLP DOI BibTeX RDF
14	Vladimir Lifschitz, David Pearce 0001, Agustín Valverde	A Characterization of Strong Equivalence for Logic Programs with Variables.	LPNMR	2007	DBLP DOI BibTeX RDF
14	Marco Aguzzi, Maria Grazia Albanesi, Marco Ferretti, M. Garlaschelli	Query translation based on equivalence classes for heterogeneous multimedia repositories using XML and semantic annotation.	ICIAP	2007	DBLP DOI BibTeX RDF
14	Michal Kunc	The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable.	FCT	2007	DBLP DOI BibTeX RDF
14	Ben Hardekopf, Calvin Lin	Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis.	SAS	2007	DBLP DOI BibTeX RDF
14	X. Y. Zeng	Equivalence of the Oscillation of Two Coupled Difference Systems.	SNPD (2)	2007	DBLP DOI BibTeX RDF
14	Sajjad Baloch, Ragini Verma, Christos Davatzikos	An Anatomical Equivalence Class Based Joint Transformation-Residual Descriptor for Morphological Analysis.	IPMI	2007	DBLP DOI BibTeX RDF
14	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
14	Victor Felea, Marian Razvan Balta	On Equivalence of Queries Using Views.	SYNASC	2007	DBLP DOI BibTeX RDF
14	Steve Kremer, Laurent Mazaré	Adaptive Soundness of Static Equivalence.	ESORICS	2007	DBLP DOI BibTeX RDF
14	Geng Liang, Sim Kim Lau	Towards More Flexible Internal Workflow Change: Weakly Equivalence Concept for Inter-organizational Workflow Design.	CEC/EEE	2007	DBLP DOI BibTeX RDF
14	Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange	Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation.	DAC	2007	DBLP DOI BibTeX RDF
14	C. Maria Keet	Granulation with Indistinguishability, Equivalence, or Similarity.	GrC	2007	DBLP DOI BibTeX RDF
14	Ari Rantanen, Hannu Maaheimo, Esa Pitkänen, Juho Rousu, Esko Ukkonen	Equivalence of Metabolite Fragments and Flow Analysis of Isotopomer Distributions for Flux Estimation.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
14	Lane A. Hemaspaandra, Mitsunori Ogihara, Mohammed J. Zaki, Marius Zimand	The Complexity of Finding Top-Toda-Equivalence-Class Members.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
14	Jan Paseka	Rieffel induction and strong Morita equivalence in the context of Hilbert modules.	Soft Comput.	2006	DBLP DOI BibTeX RDF
14	Arthur W. Apter	Failures of SCH and Level by Level Equivalence.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E35, 03E55
14	Shih-Chieh Wu, Chun-Yao Wang	PEACH: A Novel Architecture for Probabilistic Combinational Equivalence Checking.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
14	Rui Oliveira 0001, José Pereira 0001, Alfrânio Correia Jr., Edward Archibald	Revisiting 1-copy equivalence in clustered databases.	SAC	2006	DBLP DOI BibTeX RDF
14	Hanen Borchani, Nahla Ben Amor, Khaled Mellouli	Learning Bayesian Network Equivalence Classes from Incomplete Data.	Discovery Science	2006	DBLP DOI BibTeX RDF
14	Ming-Hong Su, Chun-Yao Wang	High level equivalence symmetric input identification.	ASP-DAC	2006	DBLP DOI BibTeX RDF
14	Josée Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua	Trace Equivalence Characterization Through Reinforcement Learning.	Canadian AI	2006	DBLP DOI BibTeX RDF
14	Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter	Equivalence of Functions Represented by Simple Context-Free Grammars with Output.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
14	Xiangyang Luo, Chunfang Yang, Fenlin Liu	Equivalence Analysis Among DIH, SPA, and RS Steganalysis Methods.	Communications and Multimedia Security	2006	DBLP DOI BibTeX RDF
14	Yujie Zhang, Qing Ma, Qun Liu 0001, Wenliang Chen, Hitoshi Isahara	Acquiring Translational Equivalence from a Japanese-Chinese Parallel Corpus.	ICCPOL	2006	DBLP DOI BibTeX RDF
14	Manindra Agrawal, Nitin Saxena 0001	Equivalence of F-Algebras and Cubic Forms.	STACS	2006	DBLP DOI BibTeX RDF
14	David G. Haigh, Thomas J. W. Clarke, Paul M. Radmore	A mathematical framework for active circuits based on port equivalence using limit variables.	ISCAS	2006	DBLP DOI BibTeX RDF
14	Kazuma Hayashi, Takashi Hisakado	Signal expression based on equivalence of time resolution and quantization level.	ISCAS	2006	DBLP DOI BibTeX RDF
14	Jan Eriksson, Alessandro E. P. Villa	Artificial Neural Networks simulation of learning of auditory equivalence classes for vowels.	IJCNN	2006	DBLP DOI BibTeX RDF
14	Bharath Seshadri, Xiaoming Yu, Srikanth Venkataraman	Accelerating Diagnostic Fault Simulation Using Z-diagnosis and Concurrent Equivalence Identification.	VTS	2006	DBLP DOI BibTeX RDF
14	Tim B. Kaiser	Closure Systems of Equivalence Relations and Their Labeled Class Geometries.	CLA	2006	DBLP DOI BibTeX RDF
14	Weixin Wu, Michael S. Hsiao	Mining global constraints for improving bounded sequential equivalence checking.	DAC	2006	DBLP DOI BibTeX RDF	multi-node constraint, SAT, mining
14	Bharaneedharan Rathnasabapathy, Prashant Doshi, Piotr J. Gmytrasiewicz	Exact solutions of interactive POMDPs using behavioral equivalence.	AAMAS	2006	DBLP DOI BibTeX RDF
14	Robert Harper 0001, Frank Pfenning	On equivalence and canonical forms in the LF type theory.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	type theory, Logical frameworks
14	A. B. Dieker	Reduced-Load Equivalence for Queues with Gaussian Input.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	extremes, large deviations, Gaussian processes, regular variation, ruin probabilities
14	Irith Pomeranz, Sudhakar M. Reddy	On fault equivalence, fault dominance, and incompletely specified test sets.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
14	Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai	On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	cs-property, liveness, structure theory, deadlock-freeness
14	Wei Huang, Pushan Tang, Min Ding 0004	Sequential equivalence checking using cuts.	ASP-DAC	2005	DBLP DOI BibTeX RDF
14	K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens	Verification of Source Code Transformations by Program Equivalence Checking.	CC	2005	DBLP DOI BibTeX RDF
14	Charles A. Lakos, Lars Michael Kristensen	State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.	ATVA	2005	DBLP DOI BibTeX RDF
14	J. Horacio Camacho, Abdellah Salhi, Qingfu Zhang 0001	A Graph Theoretic Approach to Key Equivalence.	MICAI	2005	DBLP DOI BibTeX RDF
14	Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter	Prime Normal Form and Equivalence of Simple Grammars.	CIAA	2005	DBLP DOI BibTeX RDF
14	Paolo Ferraris	On Modular Translations and Strong Equivalence.	LPNMR	2005	DBLP DOI BibTeX RDF
14	Uwe Bubeck, Hans Kleine Büning, Xishun Zhao	Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.	SAT	2005	DBLP DOI BibTeX RDF
14	Zhibin Tan	An equivalence based approach to dealing with uncertainty in maximum likelihood estimation.	IRI	2005	DBLP DOI BibTeX RDF
14	Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke	Proof Methodologies for Behavioural Equivalence in DPI.	FORTE	2005	DBLP DOI BibTeX RDF
14	Jan A. Bergstra, Cornelis A. Middelburg	Strong Splitting Bisimulation Equivalence.	CALCO	2005	DBLP DOI BibTeX RDF
14	Michel Raynal, Matthieu Roy	A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models.	PRDC	2005	DBLP DOI BibTeX RDF
14	Mona Safar, M. Watheq El-Kharashi, Ashraf Salem	An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking.	IWSOC	2005	DBLP DOI BibTeX RDF
14	Andrzej Wronski	The Distance Function in Commutative l-semigroups and the Equivalence in Lukasiewicz Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	Lukasiewicz logic, lattice ordered abelian group, distance function
14	Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir	Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation.	IEEE Des. Test Comput.	2004	DBLP DOI BibTeX RDF
14	Jorge Muruzábal, Carlos Cotta	A Primer on the Evolution of Equivalence Classes of Bayesian-Network Structures.	PPSN	2004	DBLP DOI BibTeX RDF
14	Lun Li, Mitchell A. Thornton, Stephen A. Szygenda	A Genetic Approach for Conjunction Scheduling in Symbolic Equivalence Checking.	ISVLSI	2004	DBLP DOI BibTeX RDF
14	Kai Salomaa, Derick Wood	Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof.	Theory Is Forever	2004	DBLP DOI BibTeX RDF
14	Tero Harju, Ion Petre, Grzegorz Rozenberg	Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
14	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Exploiting Symmetries for Testing Equivalence in the Spi Calculus.	ATVA	2004	DBLP DOI BibTeX RDF
14	Tomi Janhunen, Emilia Oikarinen	LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.	LPNMR	2004	DBLP DOI BibTeX RDF
14	Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati	Combining Equivalence Verification and Completion Functions.	FMCAD	2004	DBLP DOI BibTeX RDF
14	Lane A. Hemaspaandra, Mitsunori Ogihara, Mohammed Javeed Zaki, Marius Zimand	The Complexity of Finding Top-Toda-Equivalence-Class Members.	LATIN	2004	DBLP DOI BibTeX RDF
14	Juha Honkala	The Equivalence Problem of Polynomially Bounded D0L Systems - a Bound Depending Only on the Size of the Alphabet.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
14	Howard Becker	The restriction of a Borel equivalence relation to a sparse set.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
14	Grigorii Pivovarov, Sergei Trunov	EqRank: a self-consistent equivalence relation on graph vertexes.	SIGKDD Explor.	2003	DBLP DOI BibTeX RDF
14	Quan Long, Zongyan Qiu, Shengchao Qin	The Equivalence of Statecharts.	ICFEM	2003	DBLP DOI BibTeX RDF
14	Prabhat Mishra 0001, Nikil D. Dutt	A Methodology for Validation of Microprocessors using Equivalence Checking.	MTV	2003	DBLP DOI BibTeX RDF
14	Nicolas Oury	Observational Equivalence and Program Extraction in the Coq Proof Assistant.	TLCA	2003	DBLP DOI BibTeX RDF
14	Andrzej S. Murawski	On Program Equivalence in Languages with Ground-Type References.	LICS	2003	DBLP DOI BibTeX RDF
14	Zhan Xu, Xiaolang Yan, Yongjiang Lu, Haitong Ge	Equivalence Checking Using Independent Cuts.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
14	K. Subramani 0001	On Clausal Equivalence and Hull Inclusion.	ICTCS	2003	DBLP DOI BibTeX RDF
14	Yodai Watanabe, Junji Shikata, Hideki Imai	Equivalence between Semantic Security and Indistinguishability against Chosen Ciphertext Attacks.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF
14	Igor B. Gurevich, Irina A. Jernova	Completeness Conditions of a Class of Pattern Recognition Algorithms Based on Image Equivalence.	CIARP	2003	DBLP DOI BibTeX RDF
14	Thomas Brox, Martin Welk, Gabriele Steidl, Joachim Weickert	Equivalence Results for TV Diffusion and TV Regularisation.	Scale-Space	2003	DBLP DOI BibTeX RDF
14	Aharon Bar-Hillel, Daphna Weinshall	Learning with Equivalence Constraints and the Relation to Multiclass Learning.	COLT	2003	DBLP DOI BibTeX RDF
14	Shu-Heng Chen, Chung-Ching Tai	Toward a New Principle of Agent Engineering in Multiagent Systems: Computational Equivalence.	MAMUS	2003	DBLP DOI BibTeX RDF
14	Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis	Traffic equivalence and subistution in a multiplexer with applications to dynamic available capacity estimation.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	available capacity, many-sources asymptotic, on-line estimation, call admission control, traffic modeling, effective bandwidth
14	Fritz Schwarz	Equivalence Classes, Symmetries and Solutions of Linear Third-order Differential Equations.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications:34A05, 34A25, 34B30, 68Q40
14	Colin Stirling	Deciding DPDA Equivalence Is Primitive Recursive.	ICALP	2002	DBLP DOI BibTeX RDF
14	Petr Jancar, Antonín Kucera 0001, Faron Moller, Zdenek Sawa	Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds.	FoSSaCS	2002	DBLP DOI BibTeX RDF
14	Rein van den Boomgaard, Joost van de Weijer 0001	On the Equivalence of Local-Mode Finding, Robust Estimation and Mean-Shift Analysis as Used in Early Vision Tasks.	ICPR (3)	2002	DBLP DOI BibTeX RDF
14	Kostyantyn Archangelsky	Efficient Algorithm for Checking Multiplicity Equivalence for the Finite Z-Sigma*-Automata.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
14	Gerome Miklau, Dan Suciu	Containment and Equivalence for an XPath Fragment. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
14	Christoph Scholl 0001, Bernd Becker 0001	Checking Equivalence for Circuits Containing Incompletely Specified Boxes.	ICCD	2002	DBLP DOI BibTeX RDF
14	Maria Grazia Buscemi, Ugo Montanari	A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.	CONCUR	2002	DBLP DOI BibTeX RDF
14	Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer	Equivalence and Isomorphism for Boolean Constraint Satisfaction.	CSL	2002	DBLP DOI BibTeX RDF
14	Antonín Kucera 0001, Petr Jancar	Equivalence-Checking with Infinite-State Systems: Techniques and Results.	SOFSEM	2002	DBLP DOI BibTeX RDF