Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Donald Sannella, Andrzej Tarlecki	On Observational Equivalence and Algebraic Specification.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
27	James Milton, Anastasia Garbi	Error Types in the Computer-Aided Translation of Tourism Texts.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	error types, computer aided translation, tourism texts, European-funded project, MLIS programm, computer-driven translation package, formulaic language, tourism brochures, translation equivalence, sentence level, multilanguage format, computer translators, interlanguage equivalence, translation packages, language translation, business communication, MIS
27	Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen	On Verifying the Correctness of Retimed Circuits.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF	3-valued equivalence, delay-compensation, sequential ATPG, formal verification, retiming, equivalence-Checking
27	Sreejit Chakravarty	A sampling technique for diagnostic fault simulation.	VTS	1996	DBLP DOI BibTeX RDF	diagnostic fault simulation, diagnostic test sets, EC/IC Sampling, indistinguishable classes, approximation algorithm, fault diagnosis, integrated circuit testing, circuit analysis computing, set theory, equivalence classes, equivalence classes, sampling technique
27	Rocco De Nicola, Frits W. Vaandrager	Three Logics for Branching Bisimulation.	J. ACM	1995	DBLP DOI BibTeX RDF	Hennessy-Milner logic, backward modalities, branching bisimulation equivalence, doubly labeled transition systems, stuttering equivalence, until operations, semantics, concurrency, reactive systems, labeled transition systems, Kripke structures, CTL*
27	Roberto M. Amadio, Luca Cardelli	Subtyping Recursive Types.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions
27	Frits W. Vaandrager	Expressive Results for Process Algebras.	REX Workshop	1992	DBLP DOI BibTeX RDF	process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
25	Xiao-ping Ye, Yong Tang 0001, LuoWu Chen, Huan Guo, Jun Zhu, KaiYuan Chen	Study and application of temporal index technology.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	temporal equivalence and inclusion, query and incremental update, dynamical management and implemention, temporal relation and XML
25	Michinori Nakata, Hiroshi Sakai	Rough Sets under Non-deterministic Information.	RSKT	2009	DBLP DOI BibTeX RDF	Imprecise values, Possible equivalence classes, Rough sets, Incomplete information, Non-deterministic information
25	Taichi Haruna, Yukio-Pegio Gunji	Double Approximation and Complete Lattices.	RSKT	2009	DBLP DOI BibTeX RDF	equivalence of categories, Rough sets, representation theorem, complete lattices
25	Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh	Construction of concrete verification models from C++.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, C++, pointers, equivalence checking, dynamic memory allocation
25	Gregor Leander, Axel Poschmann	On the Classification of 4 Bit S-Boxes.	WAIFI	2007	DBLP DOI BibTeX RDF	Vectorial Boolean function, Affine equivalence, Hardware Implementation, S-box
25	Michinori Nakata, Hiroshi Sakai	Applying Rough Sets to Data Tables Containing Missing Values.	RSEISP	2007	DBLP DOI BibTeX RDF	Possible equivalence classes, Rough sets, Missing values, Lower and upper approximations
25	Chen Wu, Xiaohua Hu 0001, Xiajiong Shen, Xiaodan Zhang, Yi Pan 0001	An Incremental Algorithm for Mining Default Definite Decision Rules from Incomplete Decision Tables.	GrC	2007	DBLP DOI BibTeX RDF	incomplete decision table, semi-equivalence relation, default definite decision rule, rough set
25	Xiaowei Li 0001, Guanghui Li 0001, Ming Shao	Formal Verification Techniques Based on Boolean Satisfiability Problem.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	incremental satisfiability, minimal unsatisfiable formula, model checking, equivalence checking
25	Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann	On SAT instance classes and a method for reliable performance experiments with SAT solvers.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	exponential and heavy-tail distributions, reliability function, satisfiability, experimental design, equivalence classes, conjunctive normal form
25	Arnab Roy 0001, Subrat Kumar Panda, Rajeev Kumar 0004, P. P. Chakrabarti 0001	A framework for systematic validation and debugging of pipeline simulators.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Simulation-based verification, dataflow equivalence, pipeline validation, design space exploration, instruction scheduling, pipelined architectures
25	Irina B. Virbitskaite, Natalya S. Gribovskaja	Open Maps and Trace Semantics for Timed Partial Order Models.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	timed event structures, trace equivalence, Category theory, partial order semantics
25	Roman Neruda	Yet Another Genetic Algorithm for Feed-Forward Neural Networks.	ICTAI	1997	DBLP DOI BibTeX RDF	genetic learning, feed-forward neural networks, functional equivalence
25	Suk-hyung Hwang, Yoshihiro Tsujino, Nobuki Tokura	A Reorganization Framework of the Object-Oriented Class Hierarchy.	APSEC	1995	DBLP DOI BibTeX RDF	Class Dictionary Graph, Object Semi-Equivalence, Object-Oriented, Reorganization
25	Ghassan Chehaibar	Use of reentrant nets in modular analysis of colored nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Modular Analysis, Reentrant Net, Observational Home Equivalence, Composition, Colored Petri Nets, Replacement
25	Lucia Pomello, Carla Simone	A state transformation preorder over a class of EN systems.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	behaviour of systems, observability of states, equivalence, morphisms
25	Baba Piprani	A Model for Semantic Equivalence Discovery for Harmonizing Master Data.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Master Data, data equivalency, semantic interoperability, Entity Resolution, Semantic Equivalence
25	Christophe Calvès, Maribel Fernández	Nominal Matching and Alpha-Equivalence.	WoLLIC	2008	DBLP DOI BibTeX RDF	?-equivalence, nominal terms, matching, Binders
25	Manuel Rubio-Sánchez	An introduction to problem equivalence with combinatorics.	ITiCSE	2008	DBLP DOI BibTeX RDF	problem equivalence, NP-completeness, recursion, combinatorics, counting problems, fibonacci numbers
25	Yexin Zheng, Michael S. Hsiao, Chao Huang	SAT-based equivalence checking of threshold logic designs for nanotechnologies.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	SAT, nanotechnology, equivalence checking, threshold logic
25	Manuel Kauers	An algorithm for deciding zero equivalence of nested polynomially recurrent sequences.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	combinatorial sequences, nested polynomially recurrent sequences, zero equivalence, Symbolic computation
25	Paola Bertolotti, Ombretta Gaggi	A study on multimedia documents behavior: a notion of equivalence.	Multim. Tools Appl.	2007	DBLP DOI BibTeX RDF	Study of multimedia documents’ behavior, SMIL language, Multimedia document equivalence, Multimedia documents
25	WenAn Chen, Hongbin Zhang 0009	The Condition of Kernelizing an Algorithm and an Equivalence Between Kernel Methods.	IbPRIA (1)	2007	DBLP DOI BibTeX RDF	Kernelization, Kernel PCA, Equivalence Relation
25	Haiyang Jia, Dayou Liu, Juan Chen 0008, Xin Liu	A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network.	KSEM	2007	DBLP DOI BibTeX RDF	Markov equivalence class, condition independence test, Bayesian network, Structural learning
25	Tejaswi Gowda, Sarma B. K. Vrudhula, Goran Konjevod	Combinational equivalence checking for threshold logic circuits.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	nano devices, EDA, equivalence checking, threshold logic
25	Yu-Chi Ho, Qing-Shan Jia, Qianchuan Zhao	The Equivalence between Ordinal Optimization in Deterministic Complex Problems and in Stochastic Simulation Problems.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Ordinal optimization, Deterministic complex problems, Stochastic simulation problems, Equivalence
25	Wensen An, Yanguang Sun	An Equivalence between SILF-SVR and Ordinary Kriging.	Neural Process. Lett.	2006	DBLP DOI BibTeX RDF	soft insensitive loss function, support vector regression, equivalence, Kriging
25	Eamonn Newman, Joe Carthy, John Dunnion, Nicola Stokes	Identifying semantic equivalence for multi-document summarisation.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Document summarisation, NLP, Semantic equivalence, Textual entailment
25	Doreen Hertel	Extended Hadamard Equivalence.	SETA	2006	DBLP DOI BibTeX RDF	Perfect sequence, Crosscorrelation, Hadamard equivalence, Autocorrelation, Binary sequence
25	Philippe Georgelin, Venkat Krishnaswamy	Towards a C++-based design methodology facilitating sequential equivalence checking.	DAC	2006	DBLP DOI BibTeX RDF	modeling methodology, sequential equivalence checking
25	Andrzej S. Murawski	About the undecidability of program equivalence in finitary languages with state.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Idealized Algol, Game semantics, program equivalence
25	Hans Kleine Büning, Xishun Zhao	Extension and equivalence problems for clause minimal formulae.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	clause minimal formulas, extension problem, complexity, equivalence problem
25	Masahiro Fujita	Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	formal verification, High-level synthesis, equivalence checking, behavior synthesis
25	Maher N. Mneimneh, Karem A. Sakallah	Principles of Sequential-Equivalence Verification.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	conceptual and algorithmic approache, ATPG, sequential-equivalence checking, satisfiability solvers
25	Arthur W. Apter	Diamond, square, and level by level equivalence.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Supercompact cardinal, Strongly compact cardinal, Strong cardinal, Diamond, Level by level equivalence between strong compactness and supercompactness, Square
25	Ronald P. Lajaunie, Michael S. Hsiao	An effective and efficient ATPG-based combinational equivalence checker.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	verification, ATPG, equivalence checking
25	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
25	Sergei P. Odintsov	Negative Equivalence of Extensions of Minimal Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	minimal logic, negative equivalence, Jankov formula, paraconsistent logic
25	Constantine Roussos	Teaching growth of functions using equivalence classes: an alternative to big O notation.	SIGCSE	2004	DBLP DOI BibTeX RDF	big O, growth of functions, little o, order of complexity, complexity analysis, equivalence classes, theta
25	Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang	Equivalence Checking of Two Statechart Specifications.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	ACSR, Weak equivalence, Formal verification, Statecharts
25	Paul Tafertshofer, Andreas Ganz, Manfred Henftling	A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.	ICCAD	1997	DBLP DOI BibTeX RDF	SAT-based implication engine, circuit clause description, efficient ATPG, implication evaluation, indirect implications, netlist optimization, structure based methods, graph algorithms, automatic testing, logic circuits, graph model, equivalence checking, implication graph
25	Kim Sunesen, Mogens Nielsen	Behavioural Equivalence for Infinite Systems - Partially Decidable!	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods
24	Mario Boley, Henrik Grosskreutz	Non-redundant Subgroup Discovery Using a Closure System.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
24	Sumit Nain, Moshe Y. Vardi	Trace Semantics is Fully Abstract.	LICS	2009	DBLP DOI BibTeX RDF
24	Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová	Partial Order Reduction for State/Event LTL.	IFM	2009	DBLP DOI BibTeX RDF
24	Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi	Open Implication.	ICALP (2)	2008	DBLP DOI BibTeX RDF
24	Johannes Oetsch, Hans Tompits	Program Correspondence under the Answer-Set Semantics: The Non-ground Case.	ICLP	2008	DBLP DOI BibTeX RDF
24	Jörg Pührer, Hans Tompits, Stefan Woltran	Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.	ICLP	2008	DBLP DOI BibTeX RDF
24	Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre	Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.	PRIMA	2008	DBLP DOI BibTeX RDF
24	Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto	Network Applications of Graph Bisimulation.	ICGT	2008	DBLP DOI BibTeX RDF
24	Mila E. Majster-Cederbaum, Jinzhao Wu	Towards action refinement for true concurrent real time.	Acta Informatica	2003	DBLP DOI BibTeX RDF
24	Nader H. Bshouty, Lynn Burroughs	On the Proper Learning of Axis Parallel Concepts.	COLT	2002	DBLP DOI BibTeX RDF
24	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
24	Yaron Kanza, Yehoshua Sagiv	Flexible Queries Over Semistructured Data. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
24	Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for True Concurrent Real Time.	ICECCS	2001	DBLP DOI BibTeX RDF	timed event structure, timed process algebra, action refinement, true concurrency
24	Colin Stirling	Schema Revisited.	CSL	2000	DBLP DOI BibTeX RDF
24	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Proof Techniques for Cryptographic Processes.	LICS	1999	DBLP DOI BibTeX RDF	Logical aspects of protocol security, Formal methods, Semantics, Concurrency
24	Qing Guo, Paliath Narendran, Sandeep K. Shukla	Unification and Matching in Process Algebras.	RTA	1998	DBLP DOI BibTeX RDF
24	P. S. Thiagarajan	A Trace Consistent Subset of PTL.	CONCUR	1995	DBLP DOI BibTeX RDF
24	Joachim Parrow, Peter Sjödin	The Complete Axiomatization of Cs-congruence.	STACS	1994	DBLP DOI BibTeX RDF
24	Dennis Dams, Orna Grumberg, Rob Gerth	Generation of Reduced Models for Checking Fragments of CTL.	CAV	1993	DBLP DOI BibTeX RDF
24	Ugo Montanari, Daniel Yankelevich	A Parametric Approach to Localities.	ICALP	1992	DBLP DOI BibTeX RDF
24	Joachim Parrow, Peter Sjödin	Multiway Synchronization Verified with Coupled Simulation.	CONCUR	1992	DBLP DOI BibTeX RDF
24	Mounira Belmesk	A Process Semantics of Logic Programs.	RCLP	1991	DBLP DOI BibTeX RDF
24	Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager	Back and Forth Bisimulations.	CONCUR	1990	DBLP DOI BibTeX RDF
24	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton	On the verification of sequential machines at differing levels of abstraction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
24	Bernd Baumgarten	On Internal and External Characterizations of PT- net Building Block Behaviors.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
24	Stephen D. Brookes	On the Relationship of CCS and CSP.	ICALP	1983	DBLP DOI BibTeX RDF
23	Emanuel Kieronski, Lidia Tendera	On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations.	LICS	2009	DBLP DOI BibTeX RDF
23	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran	ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.	LPNMR	2009	DBLP DOI BibTeX RDF
23	Slawomir Staworko, Grégoire Laurence, Aurélien Lemay, Joachim Niehren	Equivalence of Deterministic Nested Word to Word Transducers.	FCT	2009	DBLP DOI BibTeX RDF	XML, Trees, automata, context-free grammars, transducers
23	Sudipta Kundu, Zachary Tatlock, Sorin Lerner	Proving optimizations correct using parameterized program equivalence.	PLDI	2009	DBLP DOI BibTeX RDF	compiler optimization, correctness, translation validation
23	Vashti Galpin, Jane Hillston	Equivalence and Discretisation in Bio-PEPA.	CMSB	2009	DBLP DOI BibTeX RDF
23	Yuanqing Li, Andrzej Cichocki, Shun-ichi Amari, Shengli Xie, Cuntai Guan	Equivalence Probability and Sparsity of Two Sparse Solutions in Sparse Representation.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
23	Namrata Shekhar, Sudhakar Kalla, Florian Enescu	Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
23	Eugene Goldberg, Kanupriya Gulati, Sunil P. Khatri	Toggle Equivalence Preserving (TEP) Logic Optimization.	DSD	2007	DBLP DOI BibTeX RDF
23	Attila Kertész-Farkas, András Kocsor, Sándor Pongor	Equivalence Learning in Protein Classification.	MLDM	2007	DBLP DOI BibTeX RDF
23	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran	Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT.	INAP/WLP	2007	DBLP DOI BibTeX RDF
23	Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr	Equivalence Problems for Circuits over Sets of Natural Numbers.	CSR	2007	DBLP DOI BibTeX RDF
23	Jie-Hong Roland Jiang, Wei-Lun Hung	Inductive equivalence checking under retiming and resynthesis.	ICCAD	2007	DBLP DOI BibTeX RDF
23	George F. Viamontes, Igor L. Markov, John P. Hayes	Checking equivalence of quantum circuits and states.	ICCAD	2007	DBLP DOI BibTeX RDF
23	Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili	Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification.	FMCAD	2007	DBLP DOI BibTeX RDF
23	Irith Pomeranz, Sudhakar M. Reddy	Equivalence and Dominance Relations Between Fault Pairs and Their Use in Fault Pair Collapsing for Fault Diagnosis.	VLSI Design	2007	DBLP DOI BibTeX RDF
23	Alfred Kölbl, Jerry R. Burch, Carl Pixley	Memory Modeling in ESL-RTL Equivalence Checking.	DAC	2007	DBLP DOI BibTeX RDF
23	Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann	On Resolution Proofs for Combinational Equivalence.	DAC	2007	DBLP DOI BibTeX RDF
23	Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nicolau	Expression equivalence checking using interval analysis.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
23	Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén	Improvements to combinational equivalence checking.	ICCAD	2006	DBLP DOI BibTeX RDF
23	Richard Neville, Liping Zhao 0001	Inheritance of Information in ANNs and Equivalence Relations.	IJCNN	2006	DBLP DOI BibTeX RDF
23	Andreas G. Veneris, Robert Chang, Magdy S. Abadir, Sep Seyedi	Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	diagnostic test generation, VLSI, test generation, fault
23	K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens	Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.	DATE	2005	DBLP DOI BibTeX RDF
23	Henderik Alex Proper, Theo P. van der Weide	Schema Equivalence as a Counting Problem.	OTM Workshops	2005	DBLP DOI BibTeX RDF
23	Hans Tompits, Stefan Woltran	Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.	ICLP	2005	DBLP DOI BibTeX RDF
23	Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov	On the Equivalence Problem for Programs with Mode Switching.	CIAA	2005	DBLP DOI BibTeX RDF
23	Eugene Goldberg	Equivalence Checking of Circuits with Parameterized Specifications.	SAT	2005	DBLP DOI BibTeX RDF