( en | de | ru )

 

Disambiguation of "Lisitsa, Alexei"

Author of the publication

copydeleteadd this publication to your clipboard
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification (Extended Abstract).

, , , and . IJCAI, page 5324-5328. ijcai.org, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexei Gratchev

Alexei Strelchenko

Alexei Savtchkov

Alexei Dörre

Alexei Lazoutine

 

Other publications of authors with the same name

First-order logic for safety verification of hedge rewriting systems.. Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2015)Finite Model Finding for Parameterized Verification. CoRR, (2010)A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?, and . CoRR, (2012)Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration., , , and . CoRR, (2021)Complexity of Universal Circumscription.. Int. J. Found. Comput. Sci., 4 (3): 241-244 (1993)An Overview of Verification and Validation Challenges for Inspection Robots., , , , , , , , , and 7 other author(s). Robotics, 10 (2): 67 (2021)On the Computational Power of Querying the History., and . Fundam. Informaticae, 91 (2): 395-409 (2009)Optimized Neural Incremental Attribute Learning for Classification Based on Statistical discriminability., , , , and . Int. J. Comput. Intell. Appl., (2014)Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians., , and . ICAART (3), page 990-995. SCITEPRESS, (2022)Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams., and . ICISSP, page 576-582. SciTePress, (2023)