نتائج البحث

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

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

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

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

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

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

Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example

• Authors : Stefanus Agus Haryono; Ferdian Thung; Lingxiao Jiang ...

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

• Source: ICPC 2020-28th IEEE/ACM International Conference on Program Comprehension-ERA trackICPC 2020-28th IEEE/ACM International Conference on Program Comprehension-ERA track, Jul 2020, Seoul / Virtual,

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

Applying Genetic Programming to Improve Interpretability in Machine Learning Models

• Authors : Rodrigo Silva; Leonardo Augusto Ferreira; Frederico Gadelha Guimarães

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

• Source: CEC

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

Towards Proving the Adversarial Robustness of Deep Neural Networks

• Authors : David L. Dill; Clark Barrett; Kyle D. Julian

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; 0209 industrial biotechnology

• Source: Electronic Proceedings in Theoretical Computer Science, Vol 257, Iss Proc. FVAV 2017, Pp 19-26 (2017)FVAV@iFM

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

SE-KGE: A Location-Aware Knowledge Graph Embedding Model for Geographic Question Answering and Spatial Semantic Lifting

• Authors : Rui Zhu; Bo Yan; Ni Lao

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

• Source: Mai, G, Janowicz, K, Cai, L, Zhu, R, Regalia, B, Yan, B, Shi, M & Lao, N 2020, ' SE-KGE : A Location-Aware Knowledge Graph Embedding Model for Geographic Question Answering and Spatial Semantic

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

SyGuS-Comp 2016: Results and Analysis

• Authors : Dana Fisman; Armando Solar-Lezama; Rajeev Alur

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Theoretical computer science

• Source: SYNT@CAVElectronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 178-202 (2016)

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

Program synthesis from polymorphic refinement types

• Authors : Ivan Kuraj; Nadia Polikarpova; Armando Solar-Lezama ...

Subjects: FOS: Computer and information sciences; Sorting algorithm; Theoretical computer science

• Source: arXivPLDI

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