Search Results - computer learning and pattern recognition::automated problems solving*

Token interchangeability and alpha-equivalence: enhancing the generalization capacity of language models for formal logic ; Belirteç değiştirilebilirliği ve alfa-eşdeğerlilik: dil modellerinin biçimsel mantık için genelleme kabiliyetinin iyileştirilmesi

Authors: Işık, İlker Cinbiş, Ramazan Gökberk Department of Computer Engineering

Contributors: Işık, İlker Cinbiş, Ramazan Gökberk Department of Computer Engineering

Subject Terms: Machine learning, Formal methods, Language modeling, Linear temporal logic, Arbis Subjects::Engineering and Technology::Computer Sciences::Artificial Intelligence, Computer Learning and Pattern Recognition::Neural Networks, Computer Learning and Pattern Recognition, Computer Learning and Pattern Recognition::Computer Learning, Computer Learning and Pattern Recognition::Automated Problem Solving, Theorem Proving and Logical Reasoning

File Description: 65 pages; application/pdf

Relation: https://hdl.handle.net/11511/115558

Availability: https://hdl.handle.net/11511/115558

A deep neural network based product metadata validation approach for online marketplaces ; Çevrimiçi pazaryerleri için derin sinir ağlarına dayalı ürün üstbilgisi geçerleme yaklaşımı

Authors: Alataş, Şükrü Koçyiğit, Altan Department of Information Systems

Contributors: Alataş, Şükrü Koçyiğit, Altan Department of Information Systems

Subject Terms: Metadata validation, Deep neural networks, CNN, Online marketplaces, Arbis Subjects::Engineering and Technology::Computer Sciences::Artificial Intelligence, Computer Learning and Pattern Recognition::Automated Problem Solving, Theorem Proving and Logical Reasoning, Computer Learning and Pattern Recognition::Computer Learning, Computer Learning and Pattern Recognition::Neural Networks, Computer Learning and Pattern Recognition::Pattern Recognition and Image Processing, Arbis Subjects::Engineering and Technology::Computer Sciences::Computer Vision::Computer Vision

File Description: 72 pages; application/pdf

Relation: https://hdl.handle.net/11511/103101

Availability: https://hdl.handle.net/11511/103101

Artificial intelligence based dynamic mission planning with probabilistic roadmaps and Voronoi diagrams using predictive launch acceptability region approach ; Kestirimci fırlatmaya uygunluk bölgesi kullanarak olasılıksal yol haritaları ve Voronoi diyagramları ile yapay zeka tabanlı hava-yer görev planlama

Authors: Özdemir, Mustafa Raşit Ertekin Bolelli, Şeyda Department of Computer Engineering

Contributors: Özdemir, Mustafa Raşit Ertekin Bolelli, Şeyda Department of Computer Engineering

Subject Terms: Artificial intelligence, Dynamic mission planning, Launch acceptability region, Voronoi diagram, Arbis Subjects::Engineering and Technology::Computer Sciences::Artificial Intelligence, Computer Learning and Pattern Recognition::Automated Problem Solving, Theorem Proving and Logical Reasoning, Arbis Subjects::Engineering and Technology::Computer Sciences::Algorithms::Sorting and Searching, Arbis Subjects::Engineering and Technology::Computer Sciences::Algorithms::Simulation and Modelling, Computer Learning and Pattern Recognition

File Description: application/pdf

Relation: https://hdl.handle.net/11511/93025

Availability: https://hdl.handle.net/11511/93025

Cognitive Modelling of Opposing Forces at the Simulation Analysis Lab ; Benzetim Analiz Laboratuvarında Karşı Kuvvetlerin Bilişsel Modellenmesi

Authors: Topcu, Yeliz Zeyrek Bozşahin, Deniz Ulubay, Murat et al.

Contributors: Topcu, Yeliz Zeyrek Bozşahin, Deniz Ulubay, Murat et al.

Subject Terms: human behavior representation, human behavior modelling, cognitive modelling, constructive simulations, computational models of mind, computational cognitive model, Arbis Subjects::Engineering and Technology::Computer Sciences::Artificial Intelligence, Computer Learning and Pattern Recognition::Automated Problem Solving, Theorem Proving and Logical Reasoning

File Description: application/pdf

Relation: https://hdl.handle.net/11511/95117

Availability: https://hdl.handle.net/11511/95117