نتائج البحث

Incremental and Modular Context-sensitive Analysis

• Authors : Manuel V. Hermenegildo; José F. Morales; Isabel Garcia-Contreras

Subjects: FOS: Computer and information sciences; Computer science; Context (language use)

• Source: Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 2HCVS 2021 : Horn Clauses for Verification and Synthesis | 8th Workshop on Horn Clauses for Verification and

تفاصيل العنوان

Automated Aggregator - Rewriting with the Counting Aggregate

• Authors : Michael Dingess; Miroslaw Truszczynski

Subjects: FOS: Computer and information sciences; I.2.2; Computer Science - Logic in Computer Science

• Source: Electronic Proceedings in Theoretical Computer Science. 325:96-109

تفاصيل العنوان

Resource-Aware Automata and Games for Optimal Synthesis

• Authors : Corina Cîrstea

Subjects: I.2.2; FOS: Computer and information sciences; Computer Science - Logic in Computer Science

• Source: GandALFElectronic Proceedings in Theoretical Computer Science, Vol 305, Iss Proc. GandALF 2019, Pp 50-65 (2019)

تفاصيل العنوان

Indonesian ID Card Extractor Using Optical Character Recognition and Natural Language Post-Processing

• Authors : Firhan Maulana Rusli; Hendy Irawan; Kevin Akbar Adhiguna

Subjects: FOS: Computer and information sciences; I.2.2; Computer science

• Source: 2021 9th International Conference on Information and Communication Technology (ICoICT).

تفاصيل العنوان

Exploring Plausible Patches Using Source Code Embeddings in JavaScript

• Authors : László Vidács; Viktor Csuvik; Dániel Horváth

Subjects: I.2.2; Similarity (geometry); Source code

• Source: APR@ICSE

تفاصيل العنوان

Neurogenetic Programming Framework for Explainable Reinforcement Learning

• Authors : Vadim Liventsev; Milan Petkovic; Aki Härmä

Subjects: FOS: Computer and information sciences; Computer Science - Machine Learning; Computer science

• Source: GECCO Companion

تفاصيل العنوان

Robot Program Parameter Inference via Differentiable Shadow Program Inversion

• Authors : Michael Beetz; Benjamin Alt; Darko Katic

Subjects: FOS: Computer and information sciences; Computer Science - Machine Learning; Computer Science - Artificial Intelligence

• Source: ICRA

تفاصيل العنوان

Speed Benchmarking of Genetic Programming Frameworks

• Authors : João Correia; Penousal Machado; Francisco Baeta

Subjects: FOS: Computer and information sciences; I.2.2; Computer Science - Machine Learning

تفاصيل العنوان

Machine Learning Algorithm for NLOS Millimeter Wave in 5G V2X Communication

• Authors : Deepika Mohan; Peter Han Joo Chong; G. G. Md. Nawaz Ali

Subjects: FOS: Computer and information sciences; Computer Science - Machine Learning; 68M11

• Source: Computer Science & Information Technology (CS & IT).

تفاصيل العنوان

On Hyperparameter Optimization of Machine Learning Algorithms: Theory and Practice

• Authors : Abdallah Shami; Li Yang

Subjects: FOS: Computer and information sciences; 0209 industrial biotechnology; Computer Science - Machine Learning

تفاصيل العنوان