|
|
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 |
18 | Paolo Di Giamberardino, Salvatore Monaco, Dorothée Normand-Cyrot |
On Equivalence and Feedback Equivalence to Finitely Computable Sampled Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 5869-5874, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Michel Fourneau, Erol Gelenbe |
Flow equivalence and stochastic equivalence in G-networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Manag. Sci. ![In: Comput. Manag. Sci. 1(2), pp. 179-192, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Florence Duclaye |
Apprentissage automatique de relations d'équivalence sémantique à partir du Web. (Semantic equivalence relationship learning from the Web). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
18 | Peter Buchholz 0001 |
Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 215(1-2), pp. 263-287, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Qingyan Du |
On σ-equivalence and χ-equivalence of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 21(2), pp. 211-217, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Rance Cleaveland, Matthew Hennessy |
Testing Equivalence as a Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 5(1), pp. 1-20, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Rance Cleaveland, Matthew Hennessy |
Testing Equivalence as a Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 11-23, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Josette Berger-Toussan |
Un sous-système de recherche géométrique et d'équivalence pour la CAO de circuits intégrés VLSI. (Geometrical and equivalence searching sub-system for CAD of VLSI integrated circuits). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
18 | Samson Abramsky |
Observation Equivalence as a Testing Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 53, pp. 225-241, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Anne Preller |
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 31(14-18), pp. 227-234, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Joost Engelfriet |
Determinacy - (Observation Equivalence = Trace Equivalence). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 36, pp. 21-25, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Mark E. Nadel |
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 26(7-9), pp. 103-109, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
18 | Karel Culík II, Hermann A. Maurer, Thomas Ottmann, Keijo Ruohonen, Arto Salomaa |
Isomorphism, Form Equivalence and Sequence Equivalence of PD0L Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 6, pp. 143-173, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
18 | Grzegorz Rozenberg |
Direct Proofs of the Undecidability of the Equivalence Problem for Sentential Forms of Linear Context-Free Grammars and the Equivalence Problem for 0L Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 1(6), pp. 233-235, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
18 | Robert L. Constable, Steven S. Muchnick |
Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 6(6), pp. 480-537, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
18 | Philippe Butzbach |
Une famille de congruences de Thue pour lesquelles le problème de l'équivalence est décidable. Application á l'équivalence des grammaires séparées. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Colloquium, Paris, France, July 3-7, 1972, pp. 3-12, 1972, North-Holland, Amsterdam, 0-7204-2074-1. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP BibTeX RDF |
|
18 | Robert L. Constable, Steven S. Muchnick |
Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 4th Annual ACM Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, USA, pp. 1-17, 1972, ACM. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
18 | Terrence W. Pratt |
Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, UK, September 1-3, 1971., pp. 474-480, 1971, William Kaufmann, 0-934613-34-6. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP BibTeX RDF |
|
16 | Andrew M. Pitts |
Nominal system T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 159-170, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
alpha-equivalence, types, recursion, binders |
16 | Jeonghee Yi, Farzin Maghoul |
Query clustering using click-through graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 1055-1056, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
biclique, click-through graph, equivalence set, maximal bipartite clique, query clustring, query intent |
16 | A. Nagaraju 0001, Ramachandram Sirandas |
Rough set based ad-hoc on demand distance vector routing algorithm for MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bangalore Compute Conf. ![In: Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, Bangalore, India, January 9-10, 2009, pp. 11, 2009, ACM, 978-1-60558-476-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
route request, rough set, AODV, equivalence class |
16 | Benny Godlin, Ofer Strichman |
Regression verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 466-471, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software verification, equivalence checking |
16 | Thomas Vetterlein |
A Way to Interpret Lukasiewicz Logic and Basic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(3), pp. 407-423, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Basic Logic, a-equivalence relation, Boolean algebra, MV-algebra, BL-algebra, Heyting algebra, ?ukasiewicz Logic |
16 | Mengjie Zhang 0001, Phillip Wong |
Genetic programming for medical classification: a program simplification approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 9(3), pp. 229-255, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Medical classification, Algebraic equivalence, Genetic programming, Program simplification, Hashing techniques |
16 | Marcelo P. Fiore |
Second-Order and Dependently-Sorted Abstract Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 57-68, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding |
16 | Gaëlle Molinari, Mirweis Sangin, Pierre Dillenbourg |
When Co-learners Work on Complementary Texts: Effects on Outcome Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Times of Convergence. Technologies Across Learning Contexts, Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings, pp. 304-311, 2008, Springer, 978-3-540-87604-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
jigsaw scripts, knowledge interdependence, outcome knowledge equivalence, shared outcome knowledge, Computer-supported collaborative learning |
16 | Armin Beer, Stefan Mohacsi |
Efficient Test Data Generation for Variables with Complex Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 3-11, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi-dimensional equivalence partitions, Cause-effect analysis, CECIL method, Test Data Generation |
16 | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes |
BenCGen: a digital circuit generation tool for benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2008, Gramado, Brazil, September 1-4, 2008, pp. 164-169, 2008, ACM, 978-1-60558-231-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
benchmarks, sat solvers, combinational equivalence checking |
16 | Marco Almeida, Nelma Moreira, Rogério Reis |
Antimirov and Mosses's Rewrite System Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, pp. 46-56, 2008, Springer, 978-3-540-70843-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
regular expression equivalence, minimal automata, regular expressions, rewriting systems, regular languages, derivatives, partial derivatives |
16 | Fritz Henglein |
Generic discrimination: sorting and paritioning unshared data in linear time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 91-102, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order |
16 | Fachao Li 0001, Chao Gao, Chenxia Jin |
Attribute Reduction Based on the Fuzzy Information Filter Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 367-375, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy equivalence matrix, Fuzzy information entropy, FIE-RED, Fuzzy information filter operator, FIFO-RED |
16 | Kelvin Ng |
Challenges in using system-level models for RTL verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 812-815, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
simulation, equivalence checking, system-level model, RTL models |
16 | Irena Mlýnková |
Similarity of XML schema definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2008 ACM Symposium on Document Engineering, Sao Paulo, Brazil, September 16-19, 2008, pp. 187-190, 2008, ACM, 978-1-60558-081-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
equivalence of XSD constructs, similarity, XML schema |
16 | Luigi Santocanale |
On the Join Dependency Relation in Multinomial Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 24(3), pp. 155-179, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multinomial lattices, Lattice congruences, Lattices of permutations, Binomial lattices, Lattices of paths, Parikh equivalence relations, Dihomotopies |
16 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 15, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
16 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 16, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
16 | Omprakash K. Gupta, Sudhir Tandon, Sukumar Debnath, Anna S. Rominger |
Package downsizing: is it ethical? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 21(3), pp. 239-250, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Principle of equivalence, Ethical, Package, Downsizing |
16 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(5), pp. 26, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
16 | Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer |
A characterization of regular expressions under bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(2), pp. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
regular expressions, Bisimulation equivalence |
16 | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
Fixing Design Errors with Counterexamples and Resynthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 944-949, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulation-based verification, digital design errors, error-correction framework, resynthesis techniques, goal-directed search, entropy-guided search, counterexamples, digital designs, combinational equivalence-checking |
16 | Zhiwen Mo, Xiaolei Hong |
Minimization of Mizumoto Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 739-743, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mizumoto automata, canonical fuzzy finite automata, minimization, equivalence |
16 | Joseph Gil, Keren Lenz |
Simple and safe SQL queries with c++ templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings, pp. 13-24, 2007, ACM, 978-1-59593-855-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages |
16 | Nick Benton, Peter Buchlovsky |
Semantics of an effect analysis for exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007, pp. 15-26, 2007, ACM, 1-59593-393-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems |
16 | Bin Yang, Baowen Xu, Yajun Li |
An Incremental Approach for Attribute Reduction in Concept Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 451-459, 2007, Springer, 978-3-540-72457-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concept lattice, equivalence classes, knowledge reduction |
16 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open bisimulation for aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 107-120, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence |
16 | Chandan Karfa, Dipankar Sarkar 0001, Chittaranjan A. Mandal, Chris Reade |
Hand-in-hand verification of high-level synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 429-434, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FSMD model, formal verification, high-level synthesis, equivalence checking |
16 | Lizhen Wang, Junli Lu, Joan Lu, Jim Yip |
AOG-ags Algorithms and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, Third International Conference, ADMA 2007, Harbin, China, August 6-8, 2007, Proceedings, pp. 323-334, 2007, Springer, 978-3-540-73870-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Attribute-oriented generalization (AOG), Concept hierarchy trees, Attributes’ generalization sequences (AGS), Equivalence partition trees, Interestingness of AGS |
16 | Lifeng He, Yuyan Chao, Kenji Suzuki 0001 |
A Run-Based Two-Scan Labeling Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, Proceedings, pp. 131-142, 2007, Springer, 978-3-540-74258-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
label equivalence, run data, pattern recognition, connected components, linear-time algorithm, Labeling algorithm |
16 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 363-419, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
16 | Ying Yang 0001, Xindong Wu 0001, Xingquan Zhu 0001 |
Mining in Anticipation for Concept Change: Proactive-Reactive Prediction in Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 13(3), pp. 261-289, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concept change, proactive learning, reactive learning, conceptual equivalence, classification, data stream |
16 | Pierre Genevès, Nabil Layaïda |
A system for the static analysis of XPath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 24(4), pp. 475-502, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XML, query, logic, XPath, equivalence, Containment |
16 | Yanxia Zhang, Lei Guo 0001 |
Convergence analysis of cautious control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(3), pp. 328-338, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cautious control, certainty equivalence, stability, convergence, Kalman filter, adaptive control, least-squares |
16 | Robert Goldblatt |
Maps and Monads for Modal Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 309-331, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad |
16 | Harald Fecher, Mila E. Majster-Cederbaum |
Action Refinement Applied to Late Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(2), pp. 211-230, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency |
16 | Sara Cohen, Werner Nutt, Yehoshua Sagiv |
Rewriting queries with arbitrary aggregation functions using views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 31(2), pp. 672-715, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
View usability, query rewriting, query equivalence |
16 | Matt Kaufmann, J Strother Moore |
Double rewriting for equivalential reasoning in ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006, pp. 103-106, 2006, ACM, 0-9788493-0-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
double-rewrite, verification, formal methods, rewriting, congruences, equivalence relations |
16 | Patrick Pantel, Andrew Philpot, Eduard H. Hovy |
Matching and integration across heterogeneous data sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 7th Annual International Conference on Digital Government Research, DG.O 2006, San Diego, California, USA, May 21-24, 2006, pp. 438-439, 2006, Digital Government Research Center. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
database alignment, equivalence class detection, information theory, mutual information |
16 | Shiyi Xu |
A New Approach to Improving the Test Effectiveness in Software Testing Using Fault Collapsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA, pp. 73-80, 2006, IEEE Computer Society, 0-7695-2724-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Software Testing, Mutation Testing, Testing Effectiveness, Fault Equivalence, Fault Dominance |
16 | Tao Feng 0012, Li-C. Wang, Kwang-Ting Cheng, Chih-Chan Lin |
Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 10(4), pp. 627-650, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Formal verification, equivalence checking, symbolic simulation |
16 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 63-74, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
16 | Guy Edward Gallasch, Jonathan Billington |
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 457-473, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Stop and Wait Protocols, Symbolic Automata, Language Equivalence, Coloured Petri Nets, Parametric Verification, Symbolic Reachability Graphs |
16 | Ying Yang 0001, Xindong Wu 0001, Xingquan Zhu 0001 |
Combining proactive and reactive predictions for data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, Illinois, USA, August 21-24, 2005, pp. 710-715, 2005, ACM, 1-59593-135-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
conceptual equivalence, proactive learning, data stream |
16 | Markus Grasmair, Frank Lenzen, Andreas Obereder, Otmar Scherzer, Matthias Fuchs |
A Non-convex PDE Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale Space and PDE Methods in Computer Vision, 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings, pp. 303-315, 2005, Springer, 3-540-25547-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Morphological regularization, equivalence relations, diffusion filtering |
16 | Sean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler |
Utilizing don't care states in SAT-based bounded sequential problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005, pp. 264-269, 2005, ACM, 1-59593-057-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
don't care states, unreachable states, satisfiability, bounded model checking, sequential equivalence checking |
16 | Simon Helsen |
Bisimilarity for the Region Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 17(4), pp. 347-394, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
region calculus, bisimulation, equational theory, contextual equivalence |
16 | Xuhua Li |
Largest E-thin, E-invariant sets below bigtriangleup1 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(5), pp. 681-690, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Definable equivalence relation, Thin 11 set, Invariant set, Effective induction |
16 | Satoru Iwata 0001 |
Computing the Maximum Degree of Minors in Matrix Pencils via Combinatorial Relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 36(4), pp. 331-341, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Combinatorial relaxation, Index of DAE, Matrix pencil, Strict equivalence transformation, Matching, Determinant |
16 | Mustafa Demirci |
Artihmetic of Fuzzy Quantities Based On Vague Arithmetic Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 159-166, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Vague arithmetic, Fuzzy equivalence relation, Indistinguishability operator, Fuzzy function, Fuzzy arithmetic |
16 | Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain |
Solving the latch mapping problem in an industrial setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 442-447, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
latch mapping, combinational equivalence checking |
16 | Peter Buchholz 0001, Peter Kemper |
Efficient Computation and Representation of Large Reachability Sets for Composed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 12(3), pp. 265-286, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automata networks, Kronecker representation, ordered natural decision diagrams, reachability analysis, equivalence |
16 | Lucian Ilie, Sheng Yu 0001 |
Constructing NFA s by Optimal Use of Positions in Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 13th Annual Symposium, CPM 2002, Fukuoka, Japan, July 3-5, 2002, Proceedings, pp. 279-288, 2002, Springer, 3-540-43862-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
right-invariant equivalence, $varepsilon$-elimination, algorithms, regular expressions, positions, partial derivatives, quotients, regular expression matching, nondeterministic finite automata |
16 | Benjamin Grégoire, Xavier Leroy |
A compiled implementation of strong reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 235-246, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq |
16 | Chuang Lin 0002, Yang Qu II, Fengyuan Ren, Dan C. Marinescu |
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCIS ![In: Engineering and Deployment of Cooperative Information Systems, First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002, Proceedings, pp. 64-79, 2002, Springer, 3-540-44222-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Performance equivalence, Performance analysis, Stochastic Petri nets, Workflow management systems |
16 | Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion |
A practical and efficient method for compare-point matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 305-310, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
combinational verification, latch mapping, equivalence checking |
16 | Luc Séméria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng |
RTL c-based methodology for designing and verifying a multi-threaded processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 123-128, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
formal equivalence, design, verification, RTL, checking, C/C++ |
16 | Jan A. Bergstra, Alban Ponse |
Register-machine based processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(6), pp. 1207-1241, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Kleene star, push-down operation, concurrency, computability, process algebra, expressivity, iteration, Bisimulation equivalence |
16 | G. Chevalier, Sylvia Pulmannová |
Some Ideal Lattices in Partial Abelian Monoids and Effect Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(1), pp. 75-92, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
dimension equivalence, lattice of ideals, partial Abelian monoid, R 1-ideal, Riesz ideal, Sasaki projection, congruence, ideal, effect algebra |
16 | Slawomir Lasota 0001 |
Behavioural Constructor Implementation for Regular Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 54-69, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence |
16 | Elisa Bertino, Danilo Montesi, Alberto Trombetta |
Fuzzy and Presentation Algebras for Web and Multimedia Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 134-144, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fuzzy algebra, presentation algebra, containment rules, query languages, query languages, relational algebra, equivalence, multimedia data |
16 | Sukhamay Kundu |
The concept of path-closed subsets and its use in software functional design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 112-119, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
path-closed subsets, software functional design, software engineering, data structures, data structures, data flow analysis, diagrams, partial order, functional decomposition, equivalence relation, function blocks, dataflow diagram |
16 | John Thornley, K. Mani Chandy |
Monotonic Counters: A New Mechanism for Thread Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 573-582, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
monotonic counter, deterministic synchronization, sequential equivalence, ragged barriers, sequential ordering, single-writer multiple-reader, mutual exclusion, thread, monotonicity, multithreaded programming, determinacy, thread synchronization |
16 | Heraldo Maciel França Madeira, Junior Barrera |
Incremental Evaluation of BDD-Represented Set Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 308-315, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof, mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators |
16 | Rong Xiao, Jicheng Wang, Fuyan Zhang |
An approach to incremental SVM learning algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 268-273, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
incremental learning algorithm, support vector set properties, classification equivalence, knowledge accumulation, optimal unimportant sample discarding, least-recently used scheme, training process speed, classification precision, support vector machine, learning (artificial intelligence), pattern classification, learning automata, training set, classification algorithm, storage costs |
16 | Joëlle Vittone, Jean-Marc Chassery |
Recognition of Digital Naive Planes and Polyhedrization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 9th International Conference, DGCI 2000, Uppsala, Sweden, December 13-15, 2000, Proceedings, pp. 296-307, 2000, Springer, 3-540-41396-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Digital naive plane, Polyhedrization, Recognition, Equivalence classes |
16 | James E. Kimble Jr., Lee J. White |
An Alternative Source Code Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2000 International Conference on Software Maintenance, ICSM 2000, San Jose, California, USA, October 11-14, 2000, pp. 64-75, 2000, IEEE Computer Society, 0-7695-0753-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
testing, Reengineering, code analysis, legacy code, program equivalence |
16 | Jean-Michel Couvreur, Denis Poitrenaud |
Detection of Illegal Behaviors Based on Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 364-383, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Failure Equivalence, Model Checking, Petri Net, Partial Order |
16 | Debatosh Debnath, Tsutomu Sasao |
Fast Boolean Matching Under Permutation Using Representative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 1999 Conference on Asia South Pacific Design Automation, Wanchai, Hong Kong, China, January 18-21, 1999, pp. 359-362, 1999, IEEE Computer Society, 0-7803-5012-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
variable permutation, P-equivalence, technology mapping, Boolean matching |
16 | Tosiyasu L. Kunii |
Computational Shape Modeling: Valid vs. Invalid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 1999 Shape Modeling International (SMI '99), 1-4 March 1999, Aizu, Japan, pp. 2-, 1999, IEEE Computer Society, 0-7695-0065-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
valid shape modeling, shape equivalence, cellular spatial structures |
16 | Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh |
Heuristics and Experimental Design for Bigraph Crossing Number Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALENEX ![In: Algorithm Engineering and Experimentation, International Workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999, Selected Papers, pp. 74-93, 1999, Springer, 3-540-66227-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Crossing number minimization in graphs, graph equivalence classes, design of experiments |
16 | Linjiang Ma, Tse-Yun Feng |
Routing A Class of Concatenated Omega Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 20-22 December 1999, Cape Town, South Africa, Proceedings, pp. 29-35, 1999, IEEE Computer Society, 0-7695-0468-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
topological equivalence, omega + omega networks, labeling scheme, Benes networks |
16 | Mads Nielsen, Ole Fogh Olsen |
The Structure of the Optic Flow Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume II, pp. 271-287, 1998, Springer, 3-540-64613-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
equivalence under deformation, flow structure, flow topology, optic flow, attention, scale-space, singularities, turbulence, transversality, catastrophe theory |
16 | Phan Hong Giang |
Representation of Uncertain Belief Using Interval Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 111-116, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
uncertain belief representation, interval probability, representation equivalence, probabilistic closures, consequence relations, non-tautological fragment, probability distribution, uncertainty handling, convex set |
16 | Lisa Hellerstein, Krishnan Pillaipakkamnatt, Vijay Raghavan 0002, Dawn Wilkins |
How Many Queries Are Needed to Learn? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(5), pp. 840-862, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
exact identification, polynomial-query learning, polynomial-time learning, proper learning, certificates, membership queries, equivalence queries, polynomial-time hierarchy |
16 | Lin Lin Wang |
Thorough Investigation into "An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(4), pp. 271-274, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
database scheme, left-right subset, Attribute, Hamiltonian cycle, equivalence class, representative |
16 | Sha Guo, Wei Sun 0002, Mark Allen Weiss |
Solving Satisfiability and Implication Problems in Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(2), pp. 270-293, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
satisfiabilty, reasoning, equivalence, deduction, implication |
16 | Panos A. Patsouris |
Two-level-hierarchies of objects: a unit of reference for distributed object-oriented databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 466-471, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
two-level-hierarchies of objects, unit of reference, distributed object-oriented databases, partial directed acyclic graphs, vertices objects, Uni-Design, distribution design strategy, distributed databases, aggregation, object-oriented databases, directed graphs, grouping, association, equivalence relation |
16 | Helmut Thiele |
On Isomorphisms between the Lattice of Tolerance Relations and Lattices of Clusterings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 198-202, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
lattice of tolerance relations, lattices of clusterings, one-to-one correspondences, classical set theory, bijections, complete atomistic boolean algebra, strongly model-compact coverings, cluster analysis, set theory, multivalued logic, equivalence classes, isomorphisms, similarity relations, mathematical foundations, lattice isomorphisms |
16 | Florian Krohm, Andreas Kuehlmann, Arjen Mets |
The use of random simulation in formal verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 371-376, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
random simulation, BDD-based verification, counter example pattern, design partitioning, Boolean reasoning, formal verification, formal verification, hardware designs, functional equivalence |
16 | Bing Bing Zhou, Richard P. Brent |
On parallel implementation of the one-sided Jacobi algorithm for singular value decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 401-408, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
one-sided Jacobi algorithm, column norms, parallel Jacobi orderings, parallel orderings, Fujitsu AP1000, parallel algorithms, sorting, singular value decomposition, singular value decompositions, equivalence, parallel implementation, Jacobian matrices |
16 | Radu Negulescu, Janusz A. Brzozowski |
Relative liveness: from intuition to automated verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, pp. 108-117, 1995, IEEE Computer Society, 0-8186-7098-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification |
Displaying result #601 - #700 of 9496 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|