Výsledky vyhledávání - "Computer Learning and Pattern Recognition::Automated Problem Solving"
-
1
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 65 pages; application/pdf
Relation: https://hdl.handle.net/11511/115558
Dostupnost: https://hdl.handle.net/11511/115558
-
2
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 72 pages; application/pdf
Relation: https://hdl.handle.net/11511/103101
Dostupnost: https://hdl.handle.net/11511/103101
-
3
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
Relation: https://hdl.handle.net/11511/95117
Dostupnost: https://hdl.handle.net/11511/95117
-
4
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: https://hdl.handle.net/11511/93025
Dostupnost: https://hdl.handle.net/11511/93025
Nájsť tento článok vo Web of Science