|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3107 occurrences of 1904 keywords
|
|
|
Results
Found 6680 publication records. Showing 6680 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | K. Subramani 0001 |
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 217-230, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Roberto Battiti, Marco Protasi |
Reactive Local Search for the Maximum Clique Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 29(4), pp. 610-637, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Algorithms, Combinatorial optimization, Network flow, Sports, Baseball |
11 | Hongwei Xi, Robert Harper 0001 |
A Dependently Typed Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 169-180, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Yong Feng 0001, Xinghuo Yu 0001, Zhihong Man |
Non-singular terminal sliding mode control and its application for robot manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 545-548, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Alexandru Salcianu, Martin C. Rinard |
Pointer and escape analysis for multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'01), Snowbird, Utah, USA, June 18-20, 2001, pp. 12-23, 2001, ACM, 1-58113-346-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Marwan A. Gharaybeh, Vishwani D. Agrawal, Michael L. Bushnell, Carlos G. Parodi |
False-Path Removal Using Delay Fault Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 16(5), pp. 463-476, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
design for testability, fault simulation, Delay testing, path delay faults, synthesis for testability, redundancy removal |
11 | Janusz Konrad, Bertrand Lacotte, Eric Dubois 0002 |
Cancellation of image crosstalk in time-sequential displays of stereoscopic video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(5), pp. 897-908, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | J. K. Kraus, C. W. Brand |
Condition Numbers of Approximate Schur Complements in Two- and Three-Dimensional Discretizations on Hierarchically Ordered Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 65(2), pp. 135-154, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications: 65F10, 65N20 |
11 | Zhendong Su 0001, Manuel Fähndrich, Alexander Aiken |
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 81-95, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry 0001 |
Controlled Invariance of Discrete Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, pp. 437-450, 2000, Springer, 3-540-67259-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski |
Proof Nets and Explicit Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 63-81, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Efficient Reasoning Using the Local Closed-World Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings, pp. 49-58, 2000, Springer, 3-540-41044-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl |
Equational Termination by Semantic Labelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 457-471, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Christoph Helmberg |
The m-Cost ATSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings, pp. 242-258, 1999, Springer, 3-540-66019-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Martin F. van Bommel |
Semantic Query Optimization for ODMG-93 Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 1999 International Database Engineering and Applications Symposium, IDEAS 1999, Montreal, Canada, August 2-4, 1999, Proceedings, pp. 16-23, 1999, IEEE Computer Society, 0-7695-0265-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Zdzislaw Splawski, Pawel Urzyczyn |
Type Fixpoints: Iteration vs. Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 102-113, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | David Niedzielski, Kleanthis Psarris |
An Analytical Comparison of the I-Test and Omega Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings, pp. 251-270, 1999, Springer, 3-540-67858-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Cesar Ortega-Sanchez, Andrew M. Tyrrell |
Reliability Analysis in Self-Repairing Embryonic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolvable Hardware ![In: 1st NASA / DoD Workshop on Evolvable Hardware (EH '99), July 19-21, 1999, Pasadena, CA, USA, pp. 120-128, 1999, IEEE Computer Society, 0-7695-0256-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Ali-Reza Adl-Tabatabai, Michal Cierniak, Guei-Yuan Lueh, Vishesh M. Parikh, James M. Stichnoth |
Fast, Effective Code Generation in a Just-In-Time Java Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 280-290, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
11 | Sin Yeung Lee, Tok Wang Ling |
A Path Removing Technique for Detecting Trigger Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'98, 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998, Proceedings, pp. 341-355, 1998, Springer, 3-540-64264-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Ralph Frisbie, Richard Hendrickson, Michael Metcalf |
The F Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(6), pp. 69-74, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
FCL |
11 | Jae H. Kim, Ziqiang Liu, Andrew A. Chien |
Compressionless Routing: A Framework for Adaptive and Fault-Tolerant Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(3), pp. 229-244, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Routing networks, fault tolerance, wormhole routing, adaptive routing, deadlock prevention |
11 | Rajiv Gupta 0001, David A. Berson, Jesse Zhixi Fang |
Path Profile Guided Partial Dead Code Elimation Using Predication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 102-, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Anil Seth |
Sharper Results on the Expressive Power of Generalized Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 200-219, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Ravichandran Ramachandran, Shih-Lien Lu |
Efficient arithmetic using self-timing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 4(4), pp. 445-454, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Markus Hegland |
Divide and Conquer for the Solution of Banded Linear Systems of Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 394-403, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Mauro Leoncini, Giovanni Manzini, Luciano Margara |
Parallel Complexity of Householder QR Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '96, Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996, Proceedings, pp. 290-301, 1996, Springer, 3-540-61680-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee |
A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 278-290, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Tim Birus, Christine Cipriani, Dean Sutherland |
Interprocedural Call Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings, pp. 319-329, 1996, Springer, 3-540-61317-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Kazuhito Ito, Keshab K. Parhi |
Determining the minimum iteration period of an algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 11(3), pp. 229-244, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Cristina Cifuentes |
An Environment for the Reverse Engineering of Executable Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 410-419, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
reverse compiler, i80286, reverse engineering, signatures, C language, disassembler, dos |
11 | Dinesh Manocha, James Demmel |
Algorithms for intersecting parametric and algebraic curves I: simple intersections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 13(1), pp. 73-100, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
robustness, eigenvalues, algebraic, curves, intersection, parametric, resultants |
11 | Peter Baumgartner 0001, Ulrich Furbach |
PROTEIN: A PROver with a Theory Extension INterface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 769-773, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Reinhard von Hanxleden, Ken Kennedy |
GIVE-N-TAKE - A Balanced Code Placement Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 107-120, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
FORTRAN |
11 | S. T. Venkataraman, Sandeep Gulati |
Terminal slider control of robot systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 7(1), pp. 31-55, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
terminal attactors, robotics, Robust control, sliding modes |
11 | Dhananjay M. Dhamdhere, Uday P. Khedker |
Complexity of Bidirectional Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 397-408, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Wilfried Sieg, Stanley S. Wainer |
Program Transformation and Proof Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers, pp. 305-317, 1993, Springer, 3-540-58277-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Krall, Thomas Berger |
Fast Prolog with VAM1p based Prolog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 245-259, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | John F. Canny |
An Improved Sign Determination Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991, Proceedings, pp. 108-117, 1991, Springer, 3-540-54522-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Larry M. Hines |
Str+ve-Subset: The Str+ve-based Subset Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 193-206, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Rajiv Gupta 0001 |
A Fresh Look at Optimizing Array Bound Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990, pp. 272-282, 1990, ACM, 0-89791-364-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Mark E. Stickel |
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 154-163, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | H. Q. Tan, X. Dong |
Optimization Techniques for Symbolic Equation Solver in Engineering Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 305, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
MACSYMA |
11 | Manfred Schmidt-Schauß |
Unification in a Combination of Arbitrary Disjoint Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 378-396, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Decidability of Unification, Combination of equational theories, Boolean rings, Unification, Equational theories, Abelian groups |
11 | Iain S. Duff |
The Parallel Solution of Sparse Linear Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, Germany, September 17-19, 1986, Proceedings, pp. 18-24, 1986, Springer, 3-540-16811-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Manfred Nagl |
Graph Rewriting and Automatic, Machine-Independent Program Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graphtheoretic Concepts in Computer Science, Proceedings of the International Workshop WG '80, Bad Honnef, Germany, June 15-18, 1980, pp. 55-69, 1980, Springer, 3-540-10291-4. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
11 | Robert H. Courtney Jr. |
Security risk assessment in electronic data processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1977 National Computer Conference, June 13-16, 1977, Dallas, Texas, USA, pp. 97-104, 1977, AFIPS Press, 978-1-4503-7914-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
11 | Wilhelm Barth, Erich Nuding |
Optimale Lösung von Intervallgleichungssystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 12(2), pp. 117-125, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
11 | David Pager |
On Eliminating Unit Productions from LR(k) Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings, pp. 242-254, 1974, Springer, 3-540-06841-4. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
11 | Tomasz Pietrzykowski |
A Complete Mechanization of Second-Order Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(2), pp. 333-364, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
11 | Gary A. Kildall |
A Unified Approach to Global Program Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973, pp. 194-206, 1973, ACM Press. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
11 | John W. Carr III, Jerome Welland |
A nonrecursive method of syntax specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(4), pp. 267-269, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
10 | Shyam Singh Rajput, Deepak Rai, Banti Kumar |
OEINR-RFH: Outlier elimination based iterative neighbor representation for robust face hallucination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 237(Part C), pp. 121553, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yafei Ma, Dong Jiang, Zicheng Liu 0007, She Yan, Zhiyuan Wang, Ronghai Qu |
Common-Mode Voltage Elimination of Dual Three-Phase Motor with Different Angular Displacements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 71(6), pp. 5431-5442, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Dongfang Li, Binxin Zhang, Rob Law 0001, Edmond Qi Wu, Xin Xu 0001 |
Error Constrained-Formation Path-Following Method With Disturbance Elimination for Multisnake Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 71(5), pp. 4987-4998, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Mingzhe Wu, Li Ding, Xiaona Xu, Kui Wang, Qiwei Lu, Yunwei Li 0001 |
A Common-Mode Voltage Elimination Scheme by Reference Voltage Decomposition for Back-to-Back Two-Level Converters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 71(5), pp. 4463-4473, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hai Yu 0003, Qiuhua Wan, Lihui Liang, Changhai Zhao |
Analysis and Elimination of Grating Disk Inclination Error in Photoelectric Displacement Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 71(6), pp. 6438-6445, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | K. S. Yamuna, S. Thirunavukkarasu, B. Manjunatha, B. Karthikeyan |
Elimination of heart sound from respiratory sound using adaptive variational mode decomposition for pulmonary diseases diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 46(2), pp. 3649-3657, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Seiji Kataoka |
A Subtour Elimination Constraint for Non-simpl e Circuit Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 32, pp. 346-351, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zhixin Liu, Shengqi Zhu 0001, Jingwei Xu 0002, Xiongpeng He, Guisheng Liao, Lan Lan 0001 |
A novel vertical element-pulse coding scheme for range-ambiguous clutter elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 215, pp. 109287, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Siang Miang Yeo, Ho Kwang Yow, Keat Hoe Yeoh, Siti Nur Farhana Mohamad Azenal |
Elimination of Die-Pop Defect by Vacuum Reflow for Ultrathin Die With Warpage in Semiconductor Packaging Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 73(1), pp. 784-791, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xintao Ding, Yonglong Luo, Biao Jie, Qingde Li, Yongqiang Cheng 0001 |
Using outlier elimination to assess learning-based correspondence matching methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 659, pp. 120056, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hemanshi Chugh, Sonal Singh |
Efficient co-planar adder designs in quantum dot cellular automata: Energy and cost optimization with crossover elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 94, pp. 102103, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Peeyush Kala, Vibhu Jately, Abhinav Sharma, Jyoti Joshi, Hossam Kotb, Kareem M. Aboras, Ali Elrashidi |
GWO-NR Hybrid Method for Selective Harmonic Elimination in Multilevel Inverter for Distributed Energy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 27957-27972, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yixin Duan, Liwei Chen, Xinzhi Zhou, Youan Shi, Nan Wu |
Boiler Furnace Temperature Field Measurement and Reconstruction Error Elimination Based on Temperature Field Residual Correction Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 73, pp. 1-15, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Thimmaraja Yadava G., B. G. Nagaraja, H. S. Jayanna |
Amalgamation of noise elimination and TDNN acoustic modelling techniques for the advancements in continuous Kannada ASR system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 83(7), pp. 19953-19968, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Prabhleen Kaur Chawla, Meera S. Nair, Dattakumar Gajanan Malkhede, Hemprasad Yashwant Patil, Sumit Kumar Jindal, Avinash Chandra, Mahadev Anant Gawas |
Parkinson's disease classification using nature inspired feature selection and recursive feature elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 83(12), pp. 35197-35220, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Onder Tutsoy, Gizem Gul Koç |
Deep self-supervised machine learning algorithms with a novel feature elimination and selection approaches for blood test-based multi-dimensional health risks classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 103, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Qiankun Feng, Shigang Wang, Yue Li 0003 |
Analysis of DAS Seismic Noise Generation and Elimination Process Based on Mean-SDE Diffusion Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 62, pp. 1-13, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Wenping Ma 0001, Xiaoteng Wang, Hao Zhu 0009, Xiaoting Yang, Xiaoyu Yi 0002, Licheng Jiao |
Significant Feature Elimination and Sample Assessment for Remote Sensing Small Objects' Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 62, pp. 1-15, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Soma Dutta, Dominik Slezak |
Nature of decision valuations in elimination of redundant attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 165, pp. 109091, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xiubo Wang, Guangren Duan 0001 |
Fully Actuated System Approaches: Predictive Elimination Control for Discrete-Time Nonlinear Time-Varying Systems With Full State Constraints and Time-Varying Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 71(1), pp. 383-396, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ling Xiao 0003, Beiji Zou, Xiaoyan Kui, Chengzhang Zhu, Wensheng Zhang 0002, Xuebing Yang, Bob Zhang 0001 |
A multi-feature-based intelligent redundancy elimination scheme for cloud-assisted health systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAI Trans. Intell. Technol. ![In: CAAI Trans. Intell. Technol. 9(2), pp. 491-510, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Cuiling Li, Rongyong Zhao, Yan Wang, Ping Jia, Wenjie Zhu, Yunlong Ma, Miyuan Li |
Disturbance Propagation Model of Pedestrian Fall Behavior in a Pedestrian Crowd and Elimination Mechanism Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 25(2), pp. 1519-1529, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jianing Fan, Shao-Hua Shi, Hong Xiang, Li Fu, Yanjing Duan, Dong-Sheng Cao 0001, Hongwei Lu |
Predicting Elimination of Small-Molecule Drug Half-Life in Pharmacokinetics Using Ensemble and Consensus Machine Learning Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 64(8), pp. 3080-3092, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shimpi Singh, Haranath Kar |
Overflow Oscillation Elimination in Fixed-Point 2D Digital Filters Based on the Roesser Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 33(3), February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Irik Z. Mukhametzyanov |
Elimination of the Domains' Displacement of the Normalized Values in MCDM Tasks: The IZ-Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Technol. Decis. Mak. ![In: Int. J. Inf. Technol. Decis. Mak. 23(1), pp. 289-326, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Alan Edelman, John Urschel |
Some New Results on the Maximum Growth Factor in Gaussian Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 45(2), pp. 967-991, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yan Hu, Xiaozhao Fang, Peipei Kang, Yonghao Chen, Yuting Fang, Shengli Xie |
Dual Noise Elimination and Dynamic Label Correlation Guided Partial Multi-Label Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 26, pp. 5641-5656, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.03711, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shuo Wang, Ge Cheng, Yun Zhang |
Graph Elimination Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01233, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao |
Proving Information Inequalities by Gaussian Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14916, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Won-Seok Choi 0006, Hyundo Lee, Dong-Sig Han, Junseok Park, Heeyeon Koo, Byoung-Tak Zhang |
DUEL: Duplicate Elimination on Active Memory for Self-Supervised Class-Imbalanced Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.08963, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Omer Cohen, Ron Meir, Nir Weinberger |
Statistical curriculum learning: An elimination algorithm achieving an oracle risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13366, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jiwon Song, Kyungseok Oh, Taesu Kim, Hyungjun Kim, Yulhwa Kim, Jae-Joon Kim |
SLEB: Streamlining LLMs through Redundancy Verification and Elimination of Transformer Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.09025, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jonas Ballweg |
PureLottery: Fair and Bias-Resistant Leader Election with a Novel Single-Elimination Tournament Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17459, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Michael Mandlmayr, Ali Kemal Uncu |
Quantifier Elimination for Normal Cone Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.05579, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Eugene Goldberg |
Local Computing By Partial Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05928, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Dimitris Bertsimas, Stefan C. M. ten Eikelder, Dick den Hertog, Nikolaos Trichakis |
Pareto Adaptive Robust Optimality via a Fourier-Motzkin Elimination lens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 205(1), pp. 485-538, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Iveta Kubasakova, Jaroslava Kubanova, Dominik Benco, Dominika Kadlecová |
Implementation of Automated Guided Vehicles for the Automation of Selected Processes and Elimination of Collisions between Handling Equipment and Humans in the Warehouse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(3), pp. 1029, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Leroy Anozie, Bodo Fink, Christoph M. Friedrich, Christoph Engels |
Monitoring Flow-Forming Processes Using Design of Experiments and a Machine Learning Approach Based on Randomized-Supervised Time Series Forest and Recursive Feature Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(5), pp. 1527, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Meng Chen, Yongjian Li, Liting Zhang, Lei Liu, Baokun Han, Wenzhuo Shi, Shoushui Wei |
Elimination of Random Mixed Noise in ECG Using Convolutional Denoising Autoencoder With Transformer Encoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Biomed. Health Informatics ![In: IEEE J. Biomed. Health Informatics 28(4), pp. 1993-2004, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Paolo Maffezioli |
Cut elimination for coherent theories in negation normal form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 63(3-4), pp. 427-445, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Gabriele Pulcini |
Cut elimination by unthreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 63(1-2), pp. 211-223, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yifan Wang, Yang Li, Jiaqi Wang, Haofeng Lv, Jinshi Guo |
Sparse optical flow outliers elimination method based on Borda stochastic neighborhood graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. Sci. Technol. ![In: Mach. Learn. Sci. Technol. 5(1), pp. 15022, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yan Kang, Sayan Ghosh, Mahmut T. Kandemir, Andrés Márquez |
Impact of Write-Allocate Elimination on Fujitsu A64FX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPC Asia Workshops ![In: Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region Workshops, HPCAsia 2024, Nagoya, Japan, January 25-27, 2024, pp. 24-35, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Gerard Shu Fuhnwi, Matthew Revelle, Clemente Izurieta |
Improving Network Intrusion Detection Performance : An Empirical Evaluation Using Extreme Gradient Boosting (XGBoost) with Recursive Feature Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIC ![In: 3rd IEEE International Conference on AI in Cybersecurity, ICAIC 2024, Houston, TX, USA, February 7-9, 2024, pp. 1-8, 2024, IEEE, 979-8-3503-8185-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tarsila Rani Soares de Vasconcelos, Lucia Reis Peixoto Roselli, Adiel Teixeira de Almeida |
Performance of Holistic Evaluation for Multi-criteria Decisions Comparing Selection or Elimination of Alternatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDSST ![In: Decision Support Systems XIV. Human-Centric Group Decision, Negotiation and Decision Support Systems for Societal Transitions - 10th International Conference on Decision Support System Technology, ICDSST 2024, Porto, Portugal, June 3-5, 2024, Proceedings, pp. 85-97, 2024, Springer, 978-3-031-59375-8. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Eric Goubault, Sylvie Putot |
Inner and outer approximate quantifier elimination for general reachability problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 8:1-8:11, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Won-Seok Choi 0006, Hyundo Lee, Dong-Sig Han, Junseok Park, Heeyeon Koo, Byoung-Tak Zhang |
DUEL: Duplicate Elimination on Active Memory for Self-Supervised Class-Imbalanced Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 11579-11587, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
|
|