Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Mei-Ling Shyu, Shu-Ching Chen, Rangasami L. Kashyap	Generalized Affinity-Based Association Rule Mining for Multimedia Database Queries.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Data mining, Multimedia, Databases, Association rule mining, Knowledge discovery in databases (KDD)
14	Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov	Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF	Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems
14	Huo Yan Chen, T. H. Tse, Tsong Yueh Chen	TACCLE: a methodology for object-oriented software testing at the class and cluster levels.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	contact specifications, software testing, object-oriented programming, message passing, algebraic specifications
14	Hiroki Arimura, Hiroshi Sakamoto, Setsuo Arikawa	Efficient Learning of Semi-structured Data from Queries.	ALT	2001	DBLP DOI BibTeX RDF
14	Rolly Intan, Masao Mukaidono, Y. Y. Yao	Generalization of Rough Sets with alpha-Coverings of the Universe Induced by Conditional Probability Relations.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
14	Shoji Hirano, Shusaku Tsumoto, Tomohiro Okuzaki, Yutaka Hata	A Clustering Method for Nominal and Numerical Data Based on Rough Set Theory.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
14	John C. Mitchell	Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
14	Hans Ulrich Simon	How Many Queries Are Needed to Learn One Bit of Information?	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
14	Nader H. Bshouty, Nadav Eiron	Learning Monotone DNF from a Teacher That Almost Does Not Answer Membership Queries.	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
14	Pierre Courtieu	Normalized Types.	CSL	2001	DBLP DOI BibTeX RDF
14	Paul Tafertshofer, Andreas Ganz, Kurt Antreich	IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
14	Inhye Kang, Insup Lee 0001, Young-Si Kim	An Efficient State Space Generation for the Analysis of Real-Time Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	real-time systems analysis, state space minimization, Formal specification, timed automata, reachability analysis
14	Christel Baier, Mariëlle Stoelinga	Norm Functions for Probabilistic Bisimulations with Delays.	FoSSaCS	2000	DBLP DOI BibTeX RDF
14	Antonín Kucera 0001	On Simulation-Checking with Sequential Systems.	ASIAN	2000	DBLP DOI BibTeX RDF
14	Elena Dubrova, Harald Sack	Probabilistic Verification of Multiple-Valued Functions.	ISMVL	2000	DBLP DOI BibTeX RDF	multiple-valued functions, hash code, probabilistic verification
14	Dirk W. Hoffmann, Thomas Kropf	Efficient Design Error Correction of Digital Circuits.	ICCD	2000	DBLP DOI BibTeX RDF
14	Alexandre Petrenko	Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.	MOVEP	2000	DBLP DOI BibTeX RDF
14	Roman Neruda	Genetic Algorithms and Neural Networks: Making Use of Parameter Space Symmetries.	IJCNN (1)	2000	DBLP DOI BibTeX RDF
14	Cormac Flanagan, Matthias Felleisen	Componential Set-Based Analysis.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	soft typing, program analysis, scheme, static debugging, constraint-based analysis
14	Peter N. Belhumeur, David J. Kriegman, Alan L. Yuille	Shadows, Shading, and Projective Ambiguity.	Shape, Contour and Grouping in Computer Vision	1999	DBLP DOI BibTeX RDF
14	Søren B. Lassen, Andrew Moran	Unique Fixed Point Induction for McCarthy's Amb.	MFCS	1999	DBLP DOI BibTeX RDF
14	Gerd Ritter, Hans Eveking, Holger Hinrichsen	Formal Verification of Designs with Complex Control by Symbolic Simulation.	CHARME	1999	DBLP DOI BibTeX RDF
14	Luigi Di Stefano, Andrea Bulgarelli	A Simple and Efficient Connected Components Labeling Algorithm.	ICIAP	1999	DBLP DOI BibTeX RDF
14	Pranav Ashar, Anand Raghunathan, Aarti Gupta, Subhrajit Bhattacharya	Verification of Scheduling in the Presence of Loops Using Uninterpreted Symbolic Simulation.	ICCD	1999	DBLP DOI BibTeX RDF
14	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the \pi-Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
14	Antonio Bucciarelli, Ivano Salvo	Totality, Definability and Boolean Ciruits.	ICALP	1998	DBLP DOI BibTeX RDF	Scott's Model, Logical Relations, Boolean Circuits, PCF
14	Pascal Coupey, Catherine Faron	Towards Correspondence between Conceptual Graphs and Description Logics.	ICCS	1998	DBLP DOI BibTeX RDF
14	Richard G. Hamlet	What Can We Learn by Testing a Program?	ISSTA	1998	DBLP DOI BibTeX RDF
14	Markus Hegland, W. W. Wheeler	Linear Bijections and the Fast Fourier Transform.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Prime factor algorithm, Splitting pair, Fast Fourier transform
14	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Representing and Reasoning on SGML Documents.	ISMIS	1997	DBLP DOI BibTeX RDF
14	Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn	Discrimination by Parallel Observers.	LICS	1997	DBLP DOI BibTeX RDF
14	Marco Bernardo 0001	An Algebra-Based Method to Associate Rewards with EMPA Terms.	ICALP	1997	DBLP DOI BibTeX RDF
14	Kuo-Hua Wang, TingTing Hwang, Cheng Chen	Exploiting communication complexity for Boolean matching.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
14	N. Raja 0001, R. K. Shyamasundar	Actors as a Coordinating Model of Computation (Extended Abstract).	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
14	Ursula Goltz, Heike Wehrheim	Causal Testing.	MFCS	1996	DBLP DOI BibTeX RDF
14	Flavio Corradini, Marco Pistore	Specification and Verification of Timed Lazy Systems.	MFCS	1996	DBLP DOI BibTeX RDF
14	Andrew M. Pitts, Joshua R. X. Ross	Process Calculus Based upon Evaluation to Committed Form.	CONCUR	1996	DBLP DOI BibTeX RDF
14	Ueli M. Maurer, Stefan Wolf 0001	Diffie-Hellman Oracles.	CRYPTO	1996	DBLP DOI BibTeX RDF	Diffie-Hellman protocol, Public-key cryptography, Elliptic curves, Discrete logarithms
14	Isaac Yi-Yuan Lee, Sheng-De Wang	Ring-Connected Networks and Their Relationship to Cubical Ring Connected Cycles and Dynamic Redundancy Networks.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	multiple-fault tolerant, ring-connected network, interconnection network, hypercubic networks, Butterfly, circulant graph, cube-connected cycle, graph automorphism
14	Gerlinde Schreiber	Functional Equivalences of Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
14	Mikko Tiusanen	Symbolic, Symmetry, and Stubborn Set Searches.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
14	Zhixiang Chen 0001, Steven Homer	On Learning Counting Functions with Queries.	COLT	1994	DBLP DOI BibTeX RDF
14	Michael Siegel, Frank A. Stomp	Extending the Limits of Sequentially Phased Reasoning.	FSTTCS	1994	DBLP DOI BibTeX RDF
14	V. Natarajan 0001, Ivan Christoff, Linda Christoff, Rance Cleaveland	Priority and Abstraction in Process Algebra.	FSTTCS	1994	DBLP DOI BibTeX RDF
14	Isaac Yi-Yuan Lee, Sheng-De Wang	Ring-Connected Hypercubes and Their Relationship to Cubical Ring Connected Cycles and Dynamic Redundancy Networks.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
14	Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008	New Decidability Results Concerning Two-way Counter Machines and Applications.	ICALP	1993	DBLP DOI BibTeX RDF
14	Antonio Lioy	Advanced Fault Collapsing (Logic Circuits Testing).	IEEE Des. Test Comput.	1992	DBLP DOI BibTeX RDF
14	Walter Vogler	Asynchronous Communication of Petri Nets and the Refinement of Transitions.	ICALP	1992	DBLP DOI BibTeX RDF
14	Gul Agha, Ian A. Mason, Scott F. Smith 0001, Carolyn L. Talcott	Towards a Theory of Actor Computation.	CONCUR	1992	DBLP DOI BibTeX RDF
14	Doron A. Peled	Sometimes 'Some' is as Good as 'All'.	CONCUR	1992	DBLP DOI BibTeX RDF
14	Luca Aceto	Full Abstraction for Series-Parallel Pomsets.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
14	Lawrence P. Holmquist, Larry L. Kinney	Concurrent Error Detection in Sequential Circuits Using Convolutional Codes.	AAECC	1991	DBLP DOI BibTeX RDF
14	Juhani Karhumäki, Wojciech Rytter, Stefan Jarominek	Efficient Constructions of Test Sets for Regular and Context-Free Languages.	MFCS	1991	DBLP DOI BibTeX RDF
14	Ugo Montanari, Vladimiro Sassone	CCS Dynamic Bisimulation is Progressing.	MFCS	1991	DBLP DOI BibTeX RDF
14	Padmanabhan Krishnan	A Model for Real-Time Systems.	MFCS	1991	DBLP DOI BibTeX RDF
14	Jean-Claude Fernandez, Laurent Mounier	A Tool Set for deciding Behavioral Equivalences.	CONCUR	1991	DBLP DOI BibTeX RDF
14	Luca Aceto, Anna Ingólfsdóttir	A Theory of Testing for ACP.	CONCUR	1991	DBLP DOI BibTeX RDF
14	Bernhard Steffen, Jens Knoop, Oliver Rüthing	The Value Flow Graph: A Program Representation for Optimal Program Transformations.	ESOP	1990	DBLP DOI BibTeX RDF
14	Philippe Schnoebelen, Sophie Pinchinat	On the Weak Adequacy of Branching-Time Remporal Logic.	ESOP	1990	DBLP DOI BibTeX RDF
14	János Pach, Richard Pollack, Emo Welzl	Weaving Patterns of Lines and Segments in Space.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
14	Ilaria Castellani, Matthew Hennessy	Distributed bisimulations.	J. ACM	1989	DBLP DOI BibTeX RDF
14	Jan Friso Groote, Frits W. Vaandrager	Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).	ICALP	1989	DBLP DOI BibTeX RDF
14	Ernst-Rüdiger Olderog	Correctness of Concurrent Processes.	MFCS	1989	DBLP DOI BibTeX RDF
14	Lucia Pomello	Refinement of Concurrent Systems Based on Local State Transformations.	REX Workshop	1989	DBLP DOI BibTeX RDF	functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
14	Bengt Jonsson 0001, Joachim Parrow	Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs.	STACS	1989	DBLP DOI BibTeX RDF
14	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
14	Iain Phillips 0001	Refusal Testing.	ICALP	1986	DBLP DOI BibTeX RDF
14	Flemming Nielson	Program Transformations in a Denotational Setting.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
14	Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.	IDEOSY: An Ideographic and Interactive Program Description System.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	UNIX
14	Neil D. Jones, Steven S. Muchnick	Even Simple Programs are Hard to Analyze.	POPL	1975	DBLP DOI BibTeX RDF
14	Meera Blattner	Transductions of Context-Free Languages into Sets of Sentential Forms.	ICALP	1974	DBLP DOI BibTeX RDF
14	Günter Hotz	Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen.	Computing	1969	DBLP DOI BibTeX RDF
14	Parul Garg, Ranjan K. Mallik	Equivalence of optimum and joint processing receivers for space-time block coded systems.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
14	Francesco Rinaldi	New results on the equivalence between zero-one programming and continuous concave programming.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Zero-one programming, Concave functions, Continuous programming, Exact penalty functions
14	Zdenek Sawa, Petr Jancar	Hardness of equivalence checking for composed finite-state systems.	Acta Informatica	2009	DBLP DOI BibTeX RDF
14	Raúl Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
14	Ofer Strichman	Regression Verification: Proving the Equivalence of Similar Programs.	CAV	2009	DBLP DOI BibTeX RDF
14	Sarah S. Aboutalib, Manuela M. Veloso	Cue-based equivalence classes and incremental discrimination for multi-cue recognition of "interactionable" objects.	IROS	2009	DBLP DOI BibTeX RDF
14	Ernst-Erich Doberkat	Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.	TAMC	2009	DBLP DOI BibTeX RDF
14	Yasuo Kudo, Tetsuya Murai	A Heuristic Algorithm for Attribute Reduction Based on Discernibility and Equivalence by Attributes.	MDAI	2009	DBLP DOI BibTeX RDF
14	Rodrigo de Souza	On the Decidability of the Equivalence for a Certain Class of Transducers.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
14	Xianfang Xue	Measurement Equivalence in Cross-Culture Research: Concept, Bias Resource and Test Method.	WKDD	2009	DBLP DOI BibTeX RDF
14	Akiko Sakamoto, Takehito Utsuro, Suguru Matsuyoshi	Utilizing semantic equivalence classes of Japanese functional expressions in machine translation.	IUCS	2009	DBLP DOI BibTeX RDF	Japanese functional expressions, machine translation, polysemy, sense disambiguation
14	Jens Chr. Godskesen, Sebastian Nanz	Mobility Models and Behavioural Equivalence for Wireless Networks.	COORDINATION	2009	DBLP DOI BibTeX RDF
14	John K. Heath	The Equivalence between Biology and Computation.	CMSB	2009	DBLP DOI BibTeX RDF
14	Clemens Kupke, Raul Andres Leal	Characterising Behavioural Equivalence: Three Sides of One Coin.	CALCO	2009	DBLP DOI BibTeX RDF
14	Eijiro Sumii	A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References.	CSL	2009	DBLP DOI BibTeX RDF
14	Lars Eirik Danielsen, Matthew Geoffrey Parker	Edge local complementation and equivalence of binary linear codes.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	05C30, AMS Classifications 94B05
14	Chandan Karfa, Dipankar Sarkar 0001, Chitta Mandal, P. Kumar	An Equivalence-Checking Method for Scheduling Verification in High-Level Synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
14	Weixin Wu, Michael S. Hsiao	Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
14	Steffen van Bakel, Ugo de'Liguoro	Logical Equivalence for Subtyping Object and Recursive Types.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Object calculi, Type theory, Program logic
14	Immanuel M. Bomze, Marco Locatelli 0001, Fabio Tardella	New and old bounds for standard quadratic optimization: dominance, equivalence and incomparability.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C20, 90C26
14	Hubert Comon-Lundh, Véronique Cortier	Computational soundness of observational equivalence.	CCS	2008	DBLP DOI BibTeX RDF	security, cryptography, protocols, concurrency
14	Steffen Rendle, Lars Schmidt-Thieme	Active Learning of Equivalence Relations by Minimizing the Expected Loss Using Constraint Inference.	ICDM	2008	DBLP DOI BibTeX RDF
14	Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci	Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.	Petri Nets	2008	DBLP DOI BibTeX RDF
14	David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller	Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits.	DATE	2008	DBLP DOI BibTeX RDF
14	Taolue Chen, Wan J. Fokkink	On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.	LICS	2008	DBLP DOI BibTeX RDF
14	Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber 0001, Christian Jacobi 0002, Matthias Pflanz	Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.	ASP-DAC	2008	DBLP DOI BibTeX RDF
14	José Oncina	Using Multiplicity Automata to Identify Transducer Relations from Membership and Equivalence Queries.	ICGI	2008	DBLP DOI BibTeX RDF
14	Giampaolo Chiappini, Bettina Pedemonte, Elisabetta Robotti	Using Alnuset to construct the notions of equivalence and equality in algebra.	Learning to Live in the Knowledge Society	2008	DBLP DOI BibTeX RDF