Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Sven Hartmann, Sebastian Link	Horn clauses and functional dependencies in complex-value databases.	ADC	2006	DBLP BibTeX RDF	logic in databases, functional dependency, Horn clause, complex values, implication problem
19	Slawomir Lasota 0001, David Nowak, Yu Zhang	On Completeness of Logical Relations for Monadic Types.	ASIAN	2006	DBLP DOI BibTeX RDF
19	Michinori Nakata, Hiroshi Sakai	Applying Rough Sets to Data Tables Containing Possibilistic Information.	RSKT	2006	DBLP DOI BibTeX RDF	possibilistic information, Rough sets, lower and upper approximations
19	Yaohua Chen, Yiyu Yao	Formal concept analysis based on hierarchical class analysis.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
19	Haixun Wang, Xiaofeng Meng 0001	On the Sequencing of Tree Structures for XML Indexing.	ICDE	2005	DBLP DOI BibTeX RDF
19	Emanuel Kieronski, Martin Otto 0001	Small Substructures and Decidability Issues for First-Order Logic with Two Variables.	LICS	2005	DBLP DOI BibTeX RDF
19	Søren B. Lassen	Eager Normal Form Bisimulation.	LICS	2005	DBLP DOI BibTeX RDF
19	Yueping Jin, Zhaohui Wu 0001, ShuiGuang Deng, Zhen Yu	Service-Oriented Workflow Model.	AINA	2005	DBLP DOI BibTeX RDF
19	Jianmin Jiang, Jinzhao Wu	The Preservation of Interleaving Equivalences.	ICECCS	2005	DBLP DOI BibTeX RDF	bundle action transitions, interleaving equivalences, action refinement, Event structures
19	Dominik Stoffel, Markus Wedler, Peter Warkentin, Wolfgang Kunz	Structural FSM traversal.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
19	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan	Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.	ICFEM	2004	DBLP DOI BibTeX RDF	causal ambiguity, timed event structure with causal ambiguity, Concurrency, action refinement
19	Laurence Bisht, Nader H. Bshouty, Lawrance Khoury	Learning with Errors in Answers to Membership Queries.	FOCS	2004	DBLP DOI BibTeX RDF
19	Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino	A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.	ATVA	2004	DBLP DOI BibTeX RDF
19	Jinzhao Wu, Houguang Yue	Towards Action Refinement for Concurrent Systems with Causal Ambiguity.	SEFM	2004	DBLP DOI BibTeX RDF	causal ambiguity, event structures with causal ambiguity, Concurrency, action refinement
19	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
19	Milan Studený	Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Uper Neighbours.	ECSQARU	2003	DBLP DOI BibTeX RDF
19	Irina Koryabkina	Method for Image Informational Properties Exploitation in Pattern Recognition Environment.	SCIA	2003	DBLP DOI BibTeX RDF
19	Felice Cardone, Mario Coppo	Decidability Properties of Recursive Types.	ICTCS	2003	DBLP DOI BibTeX RDF
19	Dale Miller 0001	Higher-Order Quantification and Proof Search.	AMAST	2002	DBLP DOI BibTeX RDF
19	Tsau Young Lin	Placing the Chinese Walls on the Boundary of Conflicts - Analysis of Symmetric Binary Relations.	COMPSAC	2002	DBLP DOI BibTeX RDF	Chinese wall, binary neighborhood, security policy, binary relation, conflict of interests
19	Ashraf Salem	Semi-formal verification of VHDL-AMS descriptions.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
19	Antonín Kucera 0001, Richard Mayr	Why Is Simulation Harder than Bisimulation?	CONCUR	2002	DBLP DOI BibTeX RDF
19	Lisa Hellerstein, Vijay Raghavan 0002	Exact learning of DNF formulas using DNF hypotheses.	STOC	2002	DBLP DOI BibTeX RDF	representations of boolean functions, algorithms, certificates, complexity theory, computational learning theory, disjunctive normal form, DNF
19	Syed Sibte Raza Abidi, Selvakumar Manickam	Augmenting Medical Case Base Reasoning Systems with Clinical Knowledge Derived from Heterogeneous Electronic Patient Records.	CBMS	2001	DBLP DOI BibTeX RDF
19	Shoji Hirano, Shusaku Tsumoto	A Knowledge-Oriented Clustering Technique Based on Rough Sets.	COMPSAC	2001	DBLP DOI BibTeX RDF
19	Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann	Design Of Provably Correct Storage Arrays.	VLSI Design	2001	DBLP DOI BibTeX RDF
19	Marco Bernardo 0001, Rance Cleaveland	A Theory of Testing for Markovian Processes.	CONCUR	2000	DBLP DOI BibTeX RDF
19	Peter Y. A. Ryan, Steve A. Schneider	Process Algebra and Non-Interference.	CSFW	1999	DBLP DOI BibTeX RDF
19	Yosuke Hayashi, Satoshi Matsumoto, Ayumi Shinohara, Masayuki Takeda	Uniform Characterizations of Polynomial-Query Learnabilities.	Discovery Science	1998	DBLP DOI BibTeX RDF
19	Doron A. Peled, Thomas Wilke, Pierre Wolper	An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.	CONCUR	1996	DBLP DOI BibTeX RDF
19	Gérard Berthelot, Hanifa Boucheneb	Occurrence Graphs for Interval Timed Coloured Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	interval timed coloured Petri nets, occurrence graph
19	Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Equivalences for Fair Kripke Structures.	ICALP	1994	DBLP DOI BibTeX RDF
19	Flavio Corradini, Rocco De Nicola	Distribution and Locality of Concurrent Systems.	ICALP	1994	DBLP DOI BibTeX RDF
19	Filip Van Aelten, Jonathan Allen, Srinivas Devadas	Verification of relations between synchronous machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
19	Doron A. Peled	All from One, One for All: on Model Checking Using Representatives.	CAV	1993	DBLP DOI BibTeX RDF
19	Kim Guldstrand Larsen, Wang Yi 0001	Time Abstracted Bisimiulation: Implicit Specifications and Decidability.	MFPS	1993	DBLP DOI BibTeX RDF
19	Henri Korver	Computing Distinguishing Formulas for Branching Bisimulation.	CAV	1991	DBLP DOI BibTeX RDF
19	Wim H. Hesselink	A Mathematical Approach to Nondeterminism in Data Types.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
19	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton	On the Verification of Sequential Machines at Differing Levels of Abstraction.	DAC	1987	DBLP DOI BibTeX RDF
19	Marvin H. Solomon	Type Definitions with Parameters.	POPL	1978	DBLP DOI BibTeX RDF
19	Joseph D. Rutledge	On Ianov's Program Schemata.	J. ACM	1964	DBLP DOI BibTeX RDF
19	Michael Greenacre, Paul Lewi	Distributional Equivalence and Subcompositional Coherence in the Analysis of Compositional Data, Contingency Tables and Ratio-Scale Measurements.	J. Classif.	2009	DBLP DOI BibTeX RDF	Association models, Biplot, Log-ratio analysis, Spectral mapping, Singular value decomposition, Correspondence analysis
19	Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe	Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.	CAV	2009	DBLP DOI BibTeX RDF
19	Nikolaos D. Liveris, Hai Zhou 0001, Prithviraj Banerjee	Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis.	ASP-DAC	2009	DBLP DOI BibTeX RDF
19	Francesc D. Muñoz-Escoí, Josep M. Bernabé-Gisbert, Rubén de Juan-Marín, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil	Revising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
19	Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov	Verifying equivalence of memories using a first order logic theorem prover.	FMCAD	2009	DBLP DOI BibTeX RDF
19	Zurab Khasidashvili, Daher Kaiss, Doron Bustan	A compositional theory for post-reboot observational equivalence checking of hardware.	FMCAD	2009	DBLP DOI BibTeX RDF
19	Kong Woei Susanto, Tim Todman, José Gabriel F. Coutinho, Wayne Luk	Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation.	SOFSEM	2009	DBLP DOI BibTeX RDF
19	Weisong Li	Algorithms for Computing Weak Bisimulation Equivalence.	TASE	2009	DBLP DOI BibTeX RDF
19	Meng-Lin Ku, Chia-Chi Huang	A derivation on the equivalence between newton's method and DF DFT-based method for channel estimation in OFDM systems.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
19	Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu	Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
19	Pierre Charbit, András Sebö	Cyclic orders: Equivalence and duality.	Comb.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 05C38, 90C27, 90C10, 05C70, 05C20
19	Masaki Murakami	Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs.	ICTAC	2008	DBLP DOI BibTeX RDF
19	Yalin Zheng, Guang Yang 0002, Changshui Zhang, Jing Zheng, Yunpeng Xu	Equivalence Knowledge Mass and Approximate Reasoning in -Logic (I).	ICIC (2)	2008	DBLP DOI BibTeX RDF	Knowledge Cumularspharolith, Formulae Cumularspharolith, Approximate Knowledge Closure of Knowledge Base, Pseudo-distance, automatic Reasoning System, completeness
19	Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes	Improving SAT-based Combinational Equivalence Checking through circuit preprocessing.	ICCD	2008	DBLP DOI BibTeX RDF
19	Bensheng Yun, Junwei Yan, Min Liu 0002, Yi Yu 0008	Behavioral Equivalence Based Web Service Discovery.	CSSE (2)	2008	DBLP DOI BibTeX RDF
19	Arthur W. Apter	Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E35, 03E55
19	Ganesh Ramanarayanan, James A. Ferwerda, Bruce Walter, Kavita Bala	Visual equivalence: towards a new standard for image fidelity.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	perception, human visual system, appearance
19	Sanjiv Kumar, Henry A. Rowley	Classification of Weakly-Labeled Data with Partial Equivalence Relations.	ICCV	2007	DBLP DOI BibTeX RDF
19	Rubi Hammer, Tomer Hertz, Shaul Hochstein, Daphna Weinshall	Classification with Positive and Negative Equivalence Constraints: Theory, Computation and Human Experiments.	BVAI	2007	DBLP DOI BibTeX RDF	Similarity, Categorization, Expectation Maximization, Rule learning
19	Rupert J. Hartung, Claus-Peter Schnorr	Public Key Identification Based on the Equivalence of Quadratic Forms.	MFCS	2007	DBLP DOI BibTeX RDF
19	Natalya Gribovskaya, Irina B. Virbitskaite	A Categorical Observation of Timed Testing Equivalence.	PaCT	2007	DBLP DOI BibTeX RDF
19	Noboru Kunihiro, Kaoru Kurosawa	Deterministic Polynomial Time Equivalence Between Factoring and Key-Recovery Attack on Takagi's RSA.	Public Key Cryptography	2007	DBLP DOI BibTeX RDF	RSA, factoring, LLL algorithm
19	Miroslaw Truszczynski	Strong and uniform equivalence of nonmonotonic theories - an algebraic approach.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 06B99
19	Masahiro Fujita, Subash Shankar, Sasaki Shunsuke	Equivalence checking: a rule-based approach.	MEMOCODE	2006	DBLP DOI BibTeX RDF
19	Shoji Hirano, Shusaku Tsumoto	Characteristics of Indiscernibility Degree in Rough Clustering Examined Using Perfect Initial Equivalence Relations.	ISMIS	2006	DBLP DOI BibTeX RDF	Clustering, Rough Set, Indiscernibility
19	Namrata Shekhar, Priyank Kalla, Florian Enescu	Equivalence verification of arithmetic datapaths with multiple word-length operands.	DATE	2006	DBLP DOI BibTeX RDF
19	Slawomir Lasota 0001, Wojciech Rytter	Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes.	MFCS	2006	DBLP DOI BibTeX RDF
19	Smruti Padhy, Arzad Alam Kherani	Tail equivalence for some time-shared systems.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	RPT based scheduling, aged based scheduling, aysmptotic study, sojourn time
19	Laurent Bienvenu	Constructive Equivalence Relations on Computable Probability Measures.	CSR	2006	DBLP DOI BibTeX RDF
19	Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu	Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands.	FMCAD	2006	DBLP DOI BibTeX RDF
19	Jirí Srba	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.	CSL	2006	DBLP DOI BibTeX RDF
19	Takeshi Matsuda, Sumio Watanabe	Analytic Equivalence of Bayes a Posteriori Distributions.	ICANN (1)	2006	DBLP DOI BibTeX RDF
19	Brian Kahne, Magdy S. Abadir	Retiming Verification Using Sequential Equivalence Checking.	MTV	2005	DBLP DOI BibTeX RDF
19	Jesús Herrera, Anselmo Peñas, Felisa Verdejo	Techniques for Recognizing Textual Entailment and Semantic Equivalence.	CAEPIA	2005	DBLP DOI BibTeX RDF
19	Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiewicz	Idealized Algol with Ground Recursion, and DPDA Equivalence.	ICALP	2005	DBLP DOI BibTeX RDF
19	Yang Bo He, Zhi Geng, Xun Liang 0001	Learning Causal Structures Based on Markov Equivalence Class.	ALT	2005	DBLP DOI BibTeX RDF	Causal structure, Constrained essential graph, Randomization experiments, Bayesian networks, Directed acyclic graphs
19	Christos Nomikos, Panos Rondogiannis, William W. Wadge	A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.	ICLP	2005	DBLP DOI BibTeX RDF
19	Thomas Eiter, Wolfgang Faber 0001, Patrick Traxler	Testing Strong Equivalence of Datalog Programs - Implementation and Examples.	LPNMR	2005	DBLP DOI BibTeX RDF
19	Yin Chen 0005, Fangzhen Lin, Lei Li 0022	SELP - A System for Studying Strong Equivalence Between Logic Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
19	Andrzej S. Murawski, Joël Ouaknine	On Probabilistic Program Equivalence and Refinement.	CONCUR	2005	DBLP DOI BibTeX RDF
19	Wan J. Fokkink, Jun Pang 0001, Anton Wijs	Is Timed Branching Bisimilarity an Equivalence Indeed?.	FORMATS	2005	DBLP DOI BibTeX RDF
19	Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund	Exploiting equivalence reduction and the sweep-line method for detecting terminal states.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
19	Rimma I. Podlovchenko, V. E. Khachatryan	A New Approach to Solving Equivalence Problem.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
19	Newton Cheung, Sri Parameswaran, Jörg Henkel, Jeremy Chan	MINCE: Matching INstructions Using Combinational Equivalence for Extensible Processor.	DATE	2004	DBLP DOI BibTeX RDF
19	James Cheney, Christian Urban	alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.	ICLP	2004	DBLP DOI BibTeX RDF
19	Gustav Nordh	The Complexity of Equivalence and Isomorphism of Systems of Equations over Finite Groups.	MFCS	2004	DBLP DOI BibTeX RDF
19	Vladimir A. Zakharov, Ivan Zakharyaschev	On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata.	CIAA	2004	DBLP DOI BibTeX RDF
19	Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran	Simplifying Logic Programs Under Uniform and Strong Equivalence.	LPNMR	2004	DBLP DOI BibTeX RDF
19	Daniel Reidenbach	On the Equivalence Problem for E-pattern Languages over Small Alphabets.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
19	Jesus F. Sánchez-Blanco, Antonio Ramírez-Treviño, Alejandra Santoyo-Sanchez	Regulation control in interpreted Petri nets using trace equivalence.	SMC (2)	2004	DBLP DOI BibTeX RDF
19	Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna	Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints.	ICCAD	2004	DBLP DOI BibTeX RDF
19	In-Ho Moon, Carl Pixley	Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.	FMCAD	2004	DBLP DOI BibTeX RDF
19	Yuxi Fu, Xiaoju Dong	Formalizing the Environment View of Process Equivalence.	CIS	2004	DBLP DOI BibTeX RDF
19	Jie-Hong Roland Jiang, Robert K. Brayton	On the verification of sequential equivalence.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
19	M. Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana	Fault equivalence identification in combinational circuits using implication and evaluation techniques.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
19	Richard Mayr	Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes.	ICALP	2003	DBLP DOI BibTeX RDF	1-counter nets, 1-counter machines, bisimulation
19	Daniel E. Stevenson, Andrew T. Phillips	Implementing object equivalence in Java using the template method design pattern.	SIGCSE	2003	DBLP DOI BibTeX RDF	design patterns, equals
19	Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai	Robust Boolean reasoning for equivalence checking and functional property verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
19	Shin-ya Katsumata	Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.	WADT	2002	DBLP DOI BibTeX RDF