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 |
|