|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4003 occurrences of 2151 keywords
|
|
|
Results
Found 9496 publication records. Showing 9496 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | William Millan |
New Cryptographic Applications of Boolean Function Equivalence Classes. |
ACISP |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu 0001 |
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu |
Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ping Guo 0003, Li Fan, Lian Ye |
A Method to Eliminate Incompatible Knowledge and Equivalence Knowledge. |
ICMLC |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Dominik Stoffel, Wolfgang Kunz |
Equivalence checking of arithmetic circuits on the arithmetic bit level. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Hiroshi Sakai |
Possible Equivalence Relations and Their Application to Hypothesis Generation in Non-deterministic Information Systems. |
Trans. Rough Sets |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Zining Cao |
A Uniform Reduction Equivalence for Process Calculi. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | David Pearce 0001, Agustín Valverde |
Uniform Equivalence for Equilibrium Logic and Logic Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Marijn Heule, Hans van Maaren |
Aligning CNF- and Equivalence-Reasoning. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Vojkan Vuksanovic |
Canonical Equivalence Relations on Qn. |
Order |
2003 |
DBLP DOI BibTeX RDF |
canonical Ramsey theory, weakly embedded subtrees, complete binary tree |
23 | Xiaoming Yu, M. Enamul Amyeen, Srikanth Venkataraman, Ruifeng Guo, Irith Pomeranz |
Concurrent Execution of Diagnostic Fault Simulation and Equivalence Identification During Diagnostic Test Generation. |
VTS |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Kurt Schlacher, Andreas Kugi, Kurt Zehetleitner |
Symbolic Methods for the Equivalence Problem for Systems of Implicit Ordinary Differential Equations. |
SNSC |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Jiunn-Chern Chen, Yirng-An Chen |
Equivalence checking of integer multipliers. |
ASP-DAC |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Vladimir A. Zakharov |
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Hudson Turner |
Strong Equivalence for Logic Programs and Default Theories (Made Easy). |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
23 | C. A. J. van Eijk |
Sequential equivalence checking based on structural similarities. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Paul Munteanu, Denis Cau |
Efficient Score-Based Learning of Equivalence Classes of Bayesian Networks. |
PKDD |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Andrew M. Pitts |
Operational Semantics and Program Equivalence. |
APPSEM |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Jens Schönherr, Bernd Straube |
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Reda Alhajj |
Deciding on the Equivalence of a Relational Schema and and Object-Oriented Schema. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Christopher A. Stone, Robert Harper 0001 |
Deciding Type Equivalence with Singleton Kinds. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Mitchell A. Thornton, Rolf Drechsler, Wolfgang Günther 0001 |
A Method for Approximate Equivalence Checking. |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Gerd Ritter |
Sequential Equivalence Checking by Symbolic Simulation. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe |
Restrictive Acceptance Suffices for Equivalence Problems. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
23 | M. Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana |
Implication and Evaluation Techniques for Proving Fault Equivalence. |
VTS |
1999 |
DBLP DOI BibTeX RDF |
|
23 | C. A. J. van Eijk |
Sequential Equivalence Checking without State Space Traversal. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Flavio Corradini, Roberto Gorrieri, Marco Roccetti |
Performance Preorder and Competitive Equivalence. |
Acta Informatica |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Ugo Montanari, Marco Pistore, Daniel Yankelevich |
Efficient Minimization up to Location Equivalence. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Enno Ohlebusch, Esko Ukkonen |
On the Equivalence Problem for E-Pattern Languages. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Walter Vogler |
The Limit of Split_n-Language Equivalence. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
concurrency, action refinement, partial order semantics |
23 | David G. Von Bank, Charles M. Shub, Robert W. Sebesta |
A Unified Model of Pointwise Equivalence of Procedural Computations. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
dynamic migration, heterogeneous migration |
23 | Adnan Aziz, Thomas R. Shiple, Vigyan Singhal |
Formula-Dependent Equivalence for Compositional CTL Model Checking. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Surajit Chaudhuri, Moshe Y. Vardi |
On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
23 | Yoram Hirshfeld |
Petri Nets and the Equivalence Problem. |
CSL |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Tomás Feder, Yatin P. Saraiya |
Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Halit Oguztüzün |
A Fragment of First Order Logic Adequate for Observation Equivalence. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Serge Abiteboul, Victor Vianu |
Equivalence and optimization of relational transactions. |
J. ACM |
1988 |
DBLP DOI BibTeX RDF |
|
23 | V. E. Itkin |
Local- termal equivalence of program schemata. |
International Sympoisum on Theoretical Programming |
1972 |
DBLP DOI BibTeX RDF |
|
23 | Keith B. Gallagher, David W. Binkley |
An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence. |
WCRE |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Vitus S. W. Lam |
Equivalences of BPMN processes. |
Serv. Oriented Comput. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Process equivalence, Equivalence classification, BPMN |
23 | Petr Jancar, Martin Kot, Zdenek Sawa |
Normed BPA vs. Normed BPP Revisited. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
Basic Process Algebra, Basic Parallel Processes, verification, equivalence checking, bisimulation equivalence |
23 | Thomas Eiter, Michael Fink 0001, Stefan Woltran |
Semantical characterizations and complexity of equivalences in answer set programming. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics |
23 | Kevin W. Bowyer, Maha Sallam, David W. Eggert, John H. Stewman |
Computing the Generalized Aspect Graph for Objects with Moving Parts. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
generalized aspect graph, articulated assemblies, general views, general configurations, translational connections, computer vision, computer vision, graph theory, graph theory, equivalence classes, equivalence classes |
23 | Bhargab B. Bhattacharya, Bidyut Gupta |
On the Impossible Class of Faulty Functions in Logic Networks Under Short Circuit Faults. |
IEEE Trans. Computers |
1986 |
DBLP DOI BibTeX RDF |
fan-out-free functions, N-equivalence classes, P-equivalence classes, short circuit faults, fault detection, stuck-at faults, Bridging faults, combinational logic, unate functions |
21 | Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin |
Formal certification of code-based cryptographic proofs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
cryptographic proofs, relational hoare logic, program transformations, observational equivalence, coq proof assistant |
21 | Hongbing Liu, Shengwu Xiong, Qiong Chen |
Training fuzzy support vector machines by using boundary of rough set. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
support vector machines, rough set, boundary, equivalence class, fuzzy support vector machines |
21 | Yingjie Fan 0001, Chenghong Zhang, Shuyun Wang, Xiulan Hao, Yunfa Hu |
An Efficient Structural Index for Graph-Structured Data. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
Graph-structured data, XML, Equivalence relation, Structural summary |
21 | Michael D. Adams 0001, R. Kent Dybvig |
Efficient nondestructive equality checking for trees and graphs. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
dfa equivalence, eq hash tables, scheme, equality, union-find |
21 | Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager |
A testing scenario for probabilistic processes. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory |
21 | Ian G. Lisle, Gregory J. Reid |
Symmetry Classification Using Noncommutative Invariant Differential Operators. |
Found. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
Lie symmetries of PDEs, Equivalence group, Symmetry classification of PDE, Noncommutative invariant differential operators, Reduced involutive form, Diffusion convection equation, Moving frames |
21 | Vasileios Koutavas, Mitchell Wand |
Small bisimulations for reasoning about higher-order imperative programs. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence |
21 | Amaury Habrard, José Oncina |
Learning Multiplicity Tree Automata. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
multiplicity tree automata, recognizable tree series, learning from equivalence and membership queries |
21 | Hong Wang, Wen-Xiu Zhang |
Relationships Between Concept Lattice and Rough Set. |
ICAISC |
2006 |
DBLP DOI BibTeX RDF |
rough set, information system, concept lattice, equivalence class, Formal Context |
21 | Ludovic Perret |
A Fast Cryptanalysis of the Isomorphism of Polynomials with One Secret Problem. |
EUROCRYPT |
2005 |
DBLP DOI BibTeX RDF |
Isomorphism of Polynomials with One Secret (IP1S), Polynomial Linear Equivalence (PLE), Cryptanalysis, Jacobian Matrix |
21 | Gwen Salaün, J. Christian Attiogbé |
Formalising an Integrated Language in PVS. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Formal Method Integration, Equivalence Proof, Embedding, Process Algebra, Algebraic Specifications, PVS |
21 | Michele Boreale, Fabio Gadducci |
Denotational Testing Semantics in Coinductive Form. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
testing equivalence, process calculi, coinduction, formal power series |
21 | Sasha Novakovsky, Shy Shyman, Ziyad Hanna |
High capacity and automatic functional extraction tool for industrial VLSI circuit designs. |
ICCAD |
2002 |
DBLP DOI BibTeX RDF |
Formal Equivalence Verification (FEV), Hardware Description Languages (HDL), Switch Level Analysis, functional abstraction, satisfiability procedures, synthesis, Design For Testability (DFT), logic simulation, Binary Decision Diagrams (BDDs) |
21 | Josep Carmona 0001, Jordi Cortadella |
Input/Output Compatibility of Reactive Systems. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory |
21 | Diego Nehab, Marcelo Gattass |
Ray Path Categorization. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
ray path categorization, image segmentation algorithms, geometrical information extraction, pixel colors, ray-traced images, category information, rendering process, detected edges, ray tracer, edge detection, edge detection, aliasing, equivalence classes, memory requirements, geometrical information, image rendering |
21 | Dirk W. Hoffmann, Thomas Kropf |
Automatic Error Correction of Tri-State Circuits. |
ICCD |
1999 |
DBLP DOI BibTeX RDF |
Automatic error correction, tri-states, fault diagnosis, BDDs, equivalence checking |
21 | Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen |
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. |
ACM Trans. Softw. Eng. Methodol. |
1998 |
DBLP DOI BibTeX RDF |
software-testing methodologies, object-oriented programming, abstract data types, algebraic specification, observational equivalence |
21 | Sreejit Chakravarty, Yiming Gong, Srikanth Venkataraman |
Diagnostic simulation of stuck-at faults in combinational circuits. |
J. Electron. Test. |
1996 |
DBLP DOI BibTeX RDF |
diagnostic power, diagnostic simulation, diagnosis, equivalence classes, diagnostic resolution |
21 | David Sands |
Total Correctness by Local Improvement in the Transformation of Functional Programs. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
operational equivalence, unfold-fold, program transformation, correctness, improvement |
21 | Paul Caspi, Jean-Claude Fernandez, Alain Girault |
An Algorithm for Reducing Binary Branchings. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
object code optimization, on the fly bisimulation, observational equivalence |
21 | Dana Angluin, Lisa Hellerstein, Marek Karpinski |
Learning Read-Once Formulas with Queries. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
?-formulas, exact identification, polynomial-time learning, read-once formulas, interpolation, membership queries, equivalence queries |
21 | Michel Billaud |
Axiomatizations of Backtracking. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages |
21 | Mauro Negri, Giuseppe Pelagatti, Licia Sbattella |
Formal Semantics of SQL Queries. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
query semantics, SQL, SQL, query equivalence |
21 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Partial orderings descriptions and observations of nondeterministic concurrent processes. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages |
21 | Louise E. Moser |
A Decision Procedure for Unquantified Formulas of Graph Theory. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
congruence closure, equivalence class representative, Directed graph, decision procedure, normal form |
21 | B. Gamatie |
Towards Specification and Proof of Asynchronous Systems. |
STACS |
1986 |
DBLP DOI BibTeX RDF |
Key-words Asynchronous systems, process interface, equivalence and congruence of processes, least process, nondeterminism |
21 | Peter Buchholz 0001, Miklós Telek |
Composition and Equivalence of Markovian and Non-Markovian Models. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Rational Processes, Aggregation, Markov Models, Equivalence, Compositional Modeling |
21 | Irith Pomeranz, Sudhakar M. Reddy |
Equivalence, Dominance, and Similarity Relations between Fault Pairs and a Fault Pair Collapsing Process for Fault Diagnosis. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
Diagnostic fault simulation, diagnostic test generation, fault diagnosis, fault collapsing, fault equivalence, fault dominance |
21 | Mark Horowitz, Metha Jeeradit, Frances Lau, Sabrina Liao, ByongChan Lim, James Mao |
Fortifying analog models with equivalence checking and coverage analysis. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
analog validation, model-first design, design methodology, fault coverage, equivalence checking, formal validation |
21 | Véronique Cortier, Stéphanie Delaune |
A Method for Proving Observational Equivalence. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
security protocols, observational equivalence, applied pi calculus |
21 | Levent Erkök, John Matthews |
Pragmatic equivalence and safety checking in Cryptol. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
sat/smt solving, size polymorphism, formal methods, cryptography, theorem proving, equivalence checking |
21 | Mike Develin |
Rook Poset Equivalence of Ferrers Boards. |
Order |
2006 |
DBLP DOI BibTeX RDF |
Schubert varieties, Ferrers boards, rook equivalence, rook placements |
21 | Djamel Bouchaffra, Jun Tan |
Structural Hidden Markov Models Using a Relation of Equivalence: Application to Automotive Designs. |
Data Min. Knowl. Discov. |
2006 |
DBLP DOI BibTeX RDF |
relation of equivalence, statistical decoding, structural decoding, Hidden Markov models, local structures |
21 | Yongming Li 0001, Witold Pedrycz |
The equivalence between fuzzy Mealy and fuzzy Moore machines. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Mealy machine, Fuzzy Moore machine, Fuzzy sequential-like machine, Lattice-ordered monoid, Equivalence |
21 | Chris H. Q. Ding, Tao Li 0001, Wei Peng 0001 |
NMF and PLSI: equivalence and a hybrid algorithm. |
SIGIR |
2006 |
DBLP DOI BibTeX RDF |
PLSI, equivalence, NMF, chi-square |
21 | Hai Quang Dinh 0001, Sergio R. López-Permouth |
On the Equivalence of Codes over Finite Rings. |
Appl. Algebra Eng. Commun. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Equivalence of codes, Codes over finite rings, Finite Frobenius rings |
21 | Predrag R. Jelenkovic, Petar Momcilovic, Bert Zwart |
Reduced Load Equivalence under Subexponentiality. |
Queueing Syst. Theory Appl. |
2004 |
DBLP DOI BibTeX RDF |
non-Cramér type conditions, reduced load equivalence, independent sampling, large deviations, subexponential distributions |
21 | Sem C. Borst, Onno J. Boxma, Predrag R. Jelenkovic |
Reduced-Load Equivalence and Induced Burstiness in GPS Queues with Long-Tailed Traffic Flows. |
Queueing Syst. Theory Appl. |
2003 |
DBLP DOI BibTeX RDF |
induced burstiness, long-tailed traffic, reduced-load equivalence, Weighted Fair Queueing, workload asymptotics, Generalized Processor Sharing |
21 | Martin Grohe |
Equivalence in Finite-Variable Logics is Complete for Polynomial Time. |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
finite-variable logics, finite structures, graph isomorphism problem, complexity theoretic difficulties, quantifier-free reductions, completeness result, counting quantifiers, computational complexity, first order logic, polynomial time, equivalence |
21 | Xinghao Chen 0003, Michael L. Bushnell |
Generation of search state equivalence for automatic test pattern generation. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
search state equivalence, current search status, prior search decisions, previously-searched decision spaces, enabling theorem, logic testing, integrated circuit testing, sequential circuits, automatic test pattern generation, automatic testing, search problems, sequential circuit test generation |
21 | Yaron Wolfstahl, Michael Yoeli |
An Equivalence Theorem for Labeled Marked Graphs. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
equivalence theorem, labeledmarked graphs, structural determinism, sequential language, firing sequences, Petri nets, Petri nets, multiprocessing systems, formal languages, transitions, concurrent language |
21 | David Shallcross, Victor Y. Pan, Yu Lin-Kriz |
The NC Equivalence of Planar Integer Linear Programming and Euclidean GCD |
FOCS |
1993 |
DBLP DOI BibTeX RDF |
NC equivalence, planar integer linear programming, Euclidean GCD, NC-reduction, remainder sequence, positive integers, Euclidean algorithm, P-completeness |
21 | Howard Aizenstein, Lisa Hellerstein, Leonard Pitt |
Read-Thrice DNF Is Hard to Learn With Membership and Equivalence Queries |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
disjunctive normal, nonlearnability, polynomial-time membership, read-thrice DNF formulas, membership, boolean formulas, equivalence queries, exact learning |
21 | Jon T. Butler, Kriss A. Schueller |
On the Equivalence of Cost Functions in the Design of Circuits by Costtable. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
design of circuits by cost-table, least-cost realization, minimal realization, logic design, logic design, equivalence, cost functions |
21 | Wen-Guey Tzeng |
The Equivalence and Learning of Probabilistic Automata (Extended Abstract) |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
learning protocol, coNP, learning, polynomial-time algorithm, upper bound, equivalence, covering, probabilistic automata, nondeterministic finite automata |
21 | Neil V. Murray |
Some Observations on Equivalence Handling Methods. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
path compression, tree balancing, partition, Equivalence, UNION-FIND |
19 | Liang Sun 0001, Betul Ceran, Jieping Ye |
A scalable two-stage approach for a class of dimensionality reduction techniques. |
KDD |
2010 |
DBLP DOI BibTeX RDF |
scalability, dimensionality reduction, regularization, least squares, generalized eigenvalue problem |
19 | Francesco Ranzato, Francesco Tapparo |
Computing Stuttering Simulations. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Vinod Viswanath, Shobha Vasudevan, Jacob A. Abraham |
Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kathy J. Horadam, David G. Farmer |
Bundles, presemifields and nonlinear functions. |
Des. Codes Cryptogr. |
2008 |
DBLP DOI BibTeX RDF |
12K10, 20J06, 11T71, AMS Classifications 94A60 |
19 | Kaiquan Shi, Bingxue Yao |
Function S-rough sets and law identification. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
function S-rough sets, system law, law identification, identification criterion, identification theorem |
19 | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal |
Strongly Equivalent Temporal Logic Programs. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Youngsik Kim, Nazanin Mansouri |
Automated formal verification of scheduling with speculative code motions. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
formal verification, high level synthesis, automated theorem-proving, speculation |
19 | Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue |
Refinement of actions for real-time concurrent systems with causal ambiguity. |
Acta Informatica |
2006 |
DBLP DOI BibTeX RDF |
Causal ambiguity, Timed bundle event structure with causal ambiguity, Concurrency, Action refinement |
19 | Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir |
On the Axiomatizability of Priority. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Puneet Bhateja, Paul Gastin, Madhavan Mukund |
A Fresh Look at Testing for Asynchronous Communication. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 9496 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|