Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Thomas Bittner, John G. Stell	Stratified Rough Sets and Vagueness.	COSIT	2003	DBLP DOI BibTeX RDF
33	James C. Corbett, George S. Avrunin	Towards Scalable Compositional Analysis.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
33	Robert W. P. Luk	On event space and rank equivalence between probabilistic retrieval models.	Inf. Retr.	2008	DBLP DOI BibTeX RDF	Information retrieval, Probabilistic models, Event space
33	Subash Shankar, Masahiro Fujita	Rule-Based Approaches for Equivalence Checking of SpecC Programs.	MEMOCODE	2008	DBLP DOI BibTeX RDF
33	Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran	Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.	FoIKS	2008	DBLP DOI BibTeX RDF
33	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva 0001	Towards Equivalence Checking Between TLM and RTL Models.	MEMOCODE	2007	DBLP DOI BibTeX RDF
33	Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi	A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions.	EUROCAST	2007	DBLP DOI BibTeX RDF
33	Shobha Vasudevan, Jacob A. Abraham, Vinod Viswanath, Jiajin Tu	Automatic decomposition for sequential equivalence checking of system level and RTL descriptions.	MEMOCODE	2006	DBLP DOI BibTeX RDF
33	Martín Abadi, Mathieu Baudet, Bogdan Warinschi	Guessing Attacks and the Computational Soundness of Static Equivalence.	FoSSaCS	2006	DBLP DOI BibTeX RDF
33	Gergei Bana, Payman Mohassel, Till Stegers	Computational Soundness of Formal Indistinguishability and Static Equivalence.	ASIAN	2006	DBLP DOI BibTeX RDF
33	Miklós Bartha	Strong Retiming Equivalence of Synchronous Schemes.	CIAA	2005	DBLP DOI BibTeX RDF
33	Masahiro Fujita	Behavior-RTL Equivalence Checking Based on Data Transfer Analysis with Virtual Controllers and Datapaths.	CHARME	2005	DBLP DOI BibTeX RDF
33	Emanuel Kieronski	Results on the Guarded Fragment with Equivalence or Transitive Relations.	CSL	2005	DBLP DOI BibTeX RDF
33	Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli	Synchronous approach to the functional equivalence of embeddedsystem implementations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
33	Subash Chandar G., S. Vaideeswaran	Addressing verification bottlenecks of fully synthesized processor cores using equivalence checkers.	ASP-DAC	2001	DBLP DOI BibTeX RDF
33	Peter T. Wood	On the Equivalence of XML Patterns.	Computational Logic	2000	DBLP DOI BibTeX RDF
33	Donglin Liang, Mary Jean Harrold	Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers.	PASTE	1999	DBLP DOI BibTeX RDF	data-flow analysis, alias analysis
33	Carl Pixley	A theory and implementation of sequential hardware equivalence.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
33	J. Howard Johnson	Do Rational Equivalence Relations have Regular Cross-Sections?	ICALP	1985	DBLP DOI BibTeX RDF
33	Bernard A. Galler, Michael J. Fischer	An improved equivalence algorithm.	Commun. ACM	1964	DBLP DOI BibTeX RDF
32	Lilya Budaghyan	The Simplest Method for Constructing APN Polynomials EA-Inequivalent to Power Functions.	WAIFI	2007	DBLP DOI BibTeX RDF	Affine equivalence, Almost bent, Almost perfect nonlinear, CCZ-equivalence, Differential uniformity, Vectorial Boolean function, Nonlinearity, S-box
32	Walter Vogler	Representation of a swapping class by one net.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	P/T-nets, equivalence of firing sequences, equivalence of processes, S-nets, processes, Partial order semantics
32	Raouf Dridi, Michel Petitot	Towards a new ode solver based on cartan's equivalence method.	ISSAC	2007	DBLP DOI BibTeX RDF	cartan's equivalence method, ode-solver, differential algebra, equivalence problems
32	Monika Rauch Henzinger	Fully Dynamic Cycle-Equivalence in Graphs	FOCS	1994	DBLP DOI BibTeX RDF	cycle-equivalence, cycle-equivalence problem, query time, data structure, graphs, planar graphs, optimizing compilers, control-flow graph, undirected graph, plane graphs
32	Yoram Hirshfeld, Mark Jerrum, Faron Moller	A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes	FOCS	1994	DBLP DOI BibTeX RDF	normed context-free processes, language equivalence, polynomial-time algorithm, decidability, equivalence, context-free grammars, bisimilarity
30	Lingxiao Jiang, Zhendong Su 0001	Automatic mining of functionally equivalent code fragments via random testing.	ISSTA	2009	DBLP DOI BibTeX RDF	random testing, code clones, functional equivalence
30	Lifeng He, Yuyan Chao, Kenji Suzuki 0001, Hidenori Itoh	A Run-Based One-Scan Labeling Algorithm.	ICIAR	2009	DBLP DOI BibTeX RDF	label equivalence, raster scan, connected component, run-length encoding, Labeling algorithm
30	Prasanna Thati, Carolyn L. Talcott, Gul Agha	Techniques for Executing and Reasoning about Specification Diagrams.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus
30	Dirk W. Hoffmann, Thomas Kropf	Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction.	CHARME	1999	DBLP DOI BibTeX RDF	Automatic error correction, design error diagnosis, formal methods, equivalence checking
30	Boris Springborn, Peter Schröder, Ulrich Pinkall	Conformal equivalence of triangle meshes.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	cone singularities, conformal equivalence, discrete Riemannian metric, texture mapping, discrete differential geometry, conformal parameterization
30	Amal Ahmed 0001, Matthias Blume	Typed closure conversion preserves observational equivalence.	ICFP	2008	DBLP DOI BibTeX RDF	equivalence-preserving compilation, typed closure conversion, full abstraction, step-indexed logical relations
30	Germano Resconi, Boris Kovalerchuk	Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan's Paradox.	EUROCAST	2007	DBLP DOI BibTeX RDF	explanatory model, logic equivalence, irrational agent, inconsistent agent, Fuzzy logic, classical logic, paradox, rational agent
30	Marco Macchetti, Mario Caironi, Luca Breveglieri, Alessandra Cherubini	A Complete Formulation of Generalized Affine Equivalence.	ICTCS	2005	DBLP DOI BibTeX RDF	generalized linear equivalence, Boolean functions, S-boxes, linear cryptanalysis
30	Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski	Efficient equivalence checking with partitions and hierarchical cut-points.	DAC	2004	DBLP DOI BibTeX RDF	verification, logic design, equivalence checking
30	Géraud Sénizergues	The Equivalence Problem for t-Turn DPDA Is Co-NP.	ICALP	2003	DBLP DOI BibTeX RDF	deterministic pushdown automata, matrix semi-groups, complexity, equivalence problem
30	Steffen Reith	On the Complexity of Some Equivalence Problems for Propositional Calculi.	MFCS	2003	DBLP DOI BibTeX RDF	Boolean isomorphism, Boolean equivalence, closed classes, Computational complexity, Boolean functions, satisfiability problems, Dichotomy, Post
30	Takashi Matsuhisa	Core Equivalence in Economy for Modal Logic.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	Pure exchange economy under reflexive information structure, Ex-post core, Rational expectations equilibrium, Core equivalence theorem, Journal of Economic Literature Classification: D51, D84, D52, C72, Multi-modal logic
30	Sorin Craciunescu	Proving the Equivalence of CLP Programs.	ICLP	2002	DBLP DOI BibTeX RDF	CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence
30	Simon Jolly, Atanas N. Parashkevov, Tim McDougall	Automated equivalence checking of switch level circuits .	DAC	2002	DBLP DOI BibTeX RDF	MOS circuits, custom design, switch level analysis, formal verification, VLSI design, equivalence checking
30	Klaus Hansen, Christian Hammer 0002, Lars R. Randleff, Jens Damgaard Andersen	Steganographic capacity of images, based on image equivalence classes.	MM&Sec	2001	DBLP DOI BibTeX RDF	image equivalence classes, perceptual tolerance, digital watermarking, capacity, information hiding
30	Renato Betti	Weak Equivalence of Internal Categories.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	internal category, Morita equivalence, module
30	Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Chung-Yang Huang, Forrest Brewer	AQUILA: An Equivalence Checking System for Large Sequential Designs.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	state exploration, formal verification, Design verification, equivalence checking
30	Jaehong Park, Carl Pixley, Michael Burns, Hyunwoo Cho	An Efficient Logic Equivalence Checker for Industrial Circuits.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	logic checking, ATPG, BDD, formal, combinational, functional verification, equivalence, MET
30	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Definitions of Equivalence for Transformational Synthesis of Embedded Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	transformational synthesis, PRES+, explicit notion, Ethernet network coprocessor, embedded systems, Petri nets, computational model, equivalence, embedded systems design, data transformation, formal notation, design cycles, complex task
30	João Marques-Silva 0001, Thomas Glass	Combinational Equivalence Checking Using Satisfiability and Recursive Learning.	DATE	1999	DBLP DOI BibTeX RDF	Boolean Satisfiability, Recursive Learning, Combinational Equivalence Checking
30	Jonathan J. Hull	Document image similarity and equivalence detection.	Int. J. Document Anal. Recognit.	1998	DBLP DOI BibTeX RDF	Document image similarity, Document image equivalence, Similarity detection algorithm, Equivalance detection algorithm
30	Aarti Gupta, Pranav Ashar	Integrating a Boolean Satisfiability Checker and BDDs for Combinational Equivalence Checking.	VLSI Design	1998	DBLP DOI BibTeX RDF	ATPG techniques, circuit similarity, formal verification, combinational circuits, Boolean satisfiability (SAT), combinational equivalence checking, Binary Decision Diagrams (BDDs)
30	Jonathan J. Hull, John F. Cullen	Document image similarity and equivalence detection.	ICDAR	1997	DBLP DOI BibTeX RDF	document image similarity, equivalence detection, CCITT fax compressed representations, pass codes, compressed data, fixed grid, two dimensional arrangement, small patches, feature extraction, document image processing, Hausdorff distance, feature vector, document images, visual similarity, grid cell, hierarchical algorithm
30	Yves Dallery, Zhen Liu 0001, Donald F. Towsley	Equivalence, Reversibility, Symmetry and Concavity Properties in Fork-Join Queueing Networks with Blocking.	J. ACM	1994	DBLP DOI BibTeX RDF	Fork-Join queuing networks, blocking before service, throughput, symmetry, duality, queuing theory, equivalence, marked graphs, concavity
30	Marie-Lise Flottes, Christian Landrault, Serge Pravossoudovitch	Fault modeling and fault equivalence in CMOS technology.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	test generation, Fault modeling, fault collapsing, fault equivalence
30	Hartmann J. Genrich	Equivalence transformations of PrT-nets.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Higher-level Petri nets, predicate transition nets, rewriting rules, semantical equivalence
28	Guoqing Xu 0001, Atanas Rountev	Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	pointer analysis, context sensitivity, points-to analysis
28	Siamak Nazari, John G. Thistle	Structural Conditions for Model-checking of Parameterized Networks.	ACSD	2007	DBLP DOI BibTeX RDF
28	Xiaowei Huang 0001, Li Jiao, Weiming Lu	What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.	ICICS	2007	DBLP DOI BibTeX RDF	rule format, computer security, non-interference, semantic equivalences
28	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Equivalences among Aggregate Queries with Negation. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
28	Antti Puhakka, Antti Valmari	Weakest-Congruence Results for Livelock-Preserving Equivalences.	CONCUR	1999	DBLP DOI BibTeX RDF
28	Yehoshua Sagiv	Optimizing Datalog Programs.	PODS	1987	DBLP DOI BibTeX RDF	DATALOG
28	Rob J. van Glabbeek, Frits W. Vaandrager	Petri Net Models for Algebraic Theories of Concurrency.	PARLE (2)	1987	DBLP DOI BibTeX RDF
28	David Hopkins 0002, C.-H. Luke Ong	Homer: A Higher-Order Observational Equivalence Model checkER.	CAV	2009	DBLP DOI BibTeX RDF
28	Jörg Pührer, Hans Tompits	Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.	LPNMR	2009	DBLP DOI BibTeX RDF
28	Ekaterina B. Fokina, Sy-David Friedman	Equivalence Relations on Classes of Computable Structures.	CiE	2009	DBLP DOI BibTeX RDF
28	Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav	Scalable conditional equivalence checking: An automated invariant-generation based approach.	FMCAD	2009	DBLP DOI BibTeX RDF
28	Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen	Novel Probabilistic Combinational Equivalence Checking.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
28	Benny Godlin, Ofer Strichman	Inference rules for proving the equivalence of recursive procedures.	Acta Informatica	2008	DBLP DOI BibTeX RDF
28	Qiang Huang 0001, Hui Wang	Error Equivalence Methodology for Dimensional Variation Control in Manufacturing.	RAM	2008	DBLP DOI BibTeX RDF
28	Eugene Goldberg, Kanupriya Gulati	On Complexity of Internal and External Equivalence Checking.	DSD	2007	DBLP DOI BibTeX RDF
28	Kazuyuki Narisawa, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda	Efficient Computation of Substring Equivalence Classes with Suffix Arrays.	CPM	2007	DBLP DOI BibTeX RDF
28	Andrew M. Pitts	Techniques for Contextual Equivalence in Higher-Order, Typed Languages.	ESOP	2007	DBLP DOI BibTeX RDF
28	Ugo Dal Lago, Angelo Montanari, Gabriele Puppis	On the Equivalence of Automaton-Based Representations of Time Granularities.	TIME	2007	DBLP DOI BibTeX RDF
28	Wolfgang Faber 0001, Kathrin Konczak	Strong order equivalence.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T30, 68T15
28	Zhiping Lin 0001, Mohamed S. Boudellioua, Li Xu 0004	On the equivalence and factorization of multivariate polynomial matrices.	ISCAS	2006	DBLP DOI BibTeX RDF
28	Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna	Post-reboot Equivalence and Compositional Verification of Hardware.	FMCAD	2006	DBLP DOI BibTeX RDF
28	Josée Desharnais, François Laviolette, Sami Zhioua	Testing Probabilistic Equivalence Through Reinforcement Learning.	FSTTCS	2006	DBLP DOI BibTeX RDF
28	Hiroyuki Okada, Masamichi Sakagami, Hiroshi Yamakawa	Modeling Stimulus Equivalence with Multi Layered Neural Networks.	IWANN	2005	DBLP DOI BibTeX RDF
28	Masahiro Miyakawa, Ivo G. Rosenberg, Hisayuki Tatsumi	Semirigid Equivalence Relations - A New Proof Method.	ISMVL	2005	DBLP DOI BibTeX RDF
28	Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini	On the equivalence and rewriting of aggregate queries.	Acta Informatica	2004	DBLP DOI BibTeX RDF
28	Yanjun Wen, Ji Wang 0001, Zhi-Chang Qi	Reverse Observation Equivalence Between Labelled State Transition Systems.	ICTAC	2004	DBLP DOI BibTeX RDF
28	Hudson Turner	Strong Equivalence for Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
28	Carlos A. Hurtado, Claudio Gutierrez 0001	Equivalence of OLAP Dimension Schemas.	FoIKS	2004	DBLP DOI BibTeX RDF
28	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Fair Equivalence Relations.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
28	Tomer Hertz, Noam Shental, Aharon Bar-Hillel, Daphna Weinshall	Enhancing Image and Video Retrieval: Learning via Equivalence Constraint.	CVPR (2)	2003	DBLP DOI BibTeX RDF	Learning from partial knowledge, clustering, image retrieval, semi-supervised learning
28	L. Javier García-Villalba	On the Number of Equivalence Classes in Certain Stream Ciphers.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
28	C.-H. Luke Ong	Observational Equivalence of 3rd-Order Idealized Algol is Decidable.	LICS	2002	DBLP DOI BibTeX RDF
28	Tomi Janhunen, Emilia Oikarinen	Testing the Equivalence of Logic Programs under Stable Model Semantics.	JELIA	2002	DBLP DOI BibTeX RDF
28	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Fair Equivalence Relations.	FSTTCS	2000	DBLP DOI BibTeX RDF
28	Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen	Equivalence checking of combinational circuits using Boolean expression diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
28	Gilles Aubert, Laure Blanc-Féraud	Some Remarks on the Equivalence between 2D and 3D Classical Snakes and Geodesic Active Contours.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	optimization, snakes, Hamiltonian, geodesic active contours, active surfaces
28	Andrew M. Pitts	Existential Types: Logical Relations and Operational Equivalence.	ICALP	1998	DBLP DOI BibTeX RDF
28	Andrew D. Gordon 0001, Paul D. Hankin, Søren B. Lassen	Compilation and Equivalence of Imperative Objects.	FSTTCS	1997	DBLP DOI BibTeX RDF
28	Kai Salomaa, Derick Wood, Sheng Yu 0001	Complexity of E0L Structural Equivalence.	MFCS	1994	DBLP DOI BibTeX RDF
28	Cosimo Laneve, Ugo Montanari	Axiomatizing Permutation Equivalence in the Lambda-Calculus.	ALP	1992	DBLP DOI BibTeX RDF
28	Roope Kaivola, Antti Valmari	The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.	CONCUR	1992	DBLP DOI BibTeX RDF
28	David Sands	Time Analysis, Cost Equivalence and Program Refinement.	FSTTCS	1991	DBLP DOI BibTeX RDF
28	Heino Carstensen	The complexity of testing the equivalence of transition sequences.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency Analysis and synthesis, structure and behaviour of nets Net-based semantical, logical and algebraic calculi
28	Jan Friso Groote, Frits W. Vaandrager	An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.	ICALP	1990	DBLP DOI BibTeX RDF
28	Paavo Turakainen	The Equivalence of DGSM Replications on Q-Rational Languages is Decidable.	ICALP	1988	DBLP DOI BibTeX RDF
28	A. Bourguet-Rouger	External Behaviour Equivalence between two Petri Nets.	Concurrency	1988	DBLP DOI BibTeX RDF
28	John H. Stewman, Louise Stark, Kevin W. Bowyer	Restructuring Aspect Graphs into Aspect- and Cell-Equivalence Classes for Use in Computer Vision.	WG	1987	DBLP DOI BibTeX RDF
28	Juhani Karhumäki	The equivalence of mappings on languages.	IMYCS	1986	DBLP DOI BibTeX RDF
28	Yoshihito Toyama	How to Prove Equivalence of Term Rewriting Systems without Induction.	CADE	1986	DBLP DOI BibTeX RDF