» Từ khóa: mo ta bai toan

Kết quả 1-10 trong khoảng 10

Tìm hiểu ngữ nghĩa và phướng pháp định giá truy vấn đối với chương trình Datalog mô tả

Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 04/04/2024 36 0

Từ khóa: Khoa học máy tính, Chương trình datalog, Logic mô tả, Ứng dụng chương trình, Cài đặt bài toán
Tìm hiểu ngôn ngữ Ontology Owl 2 và ứng dụng

Giới thiệu Logic mô tả; Web ngữ nghĩa và ngôn ngữ Ontology dành cho Web Owl 2; Xây dựng Ontology Owl 2 biểu diễn cơ sở tri thức về chương trình đào tạo đại học và ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 27/02/2024 52 0

Từ khóa: Khoa học máy tính, Logic mô tả, Web ngữ nghĩa, Ngôn ngữ Ontology, Cây phân lớp, Định nghĩa lớp phức, Kiểu dữ liệu, Bài toán xây dựng, Chương trình java
Tìm hiểu việc kết hợp của Logic mô tả và Datalog dạng tuyển

Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

11 p husc 10/01/2018 325 1

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả
Tìm hiểu việc kết hợp ngữ nghĩa lập trình logic với logic mô tả

Trình bày tổng quan về logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả thông qua một số bài toán và sử dụng hệ thống lập trình logic DLV kết hợp với hệ thống lập luận OWL RACER để thực thi các bài toán. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

10 p husc 10/01/2018 309 1

Từ khóa: Công nghệ thông tin, Chương trình logic, Logic thông thường, Logic mô tả, Bài toán ứng dụng, Mô hình bền vững
Tìm hiểu lập luận của Logic mô tả ALC mờ.

Trình bày các bài toán lập luận và minh họa các bài toán thông qua một ví dụ có tính thực tiễn góp phần làm rõ các lý thuyết của logic mô tả ALC và ALC mờ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

13 p husc 10/01/2018 339 1

Từ khóa: Công nghệ thông tin, Logic mô tả, Lý thuyết tập mờ, Bài toán lập luận, Thuật toán Tableaux, Bài toán kéo theo, Thuật ngữ mờ
Tìm hiểu một số phương pháp xử lý dữ liệu có kích thước lớn và ứng dụng.

Trình bày các thành phân của Hadoop, cách thức xử lý dữ liệu lớn trong môi trường Hadoop.Ứng dụng Hadoop MapReduce, Hive và Pig để xử lý tập dữ liệu có kích thước lớn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

11 p husc 27/09/2016 269 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Big data, Sao chép dữ liệu, Khả năng chống lỗi, Mô hình ánh xạ, Bảng dữ liệu, Kiểu dữ liệu, Mô tả bài toán, Giải quyết bài toán, Ứng dụng Hadoop Pig.
Tìm hiểu một số kỹ thuật khai phá dữ liệu và ứng dụng vào bài toán dự báo sinh viên bỏ học tại trường Đại học An Giang.

Trình bày tổng quan về kho dữ liệu và khai phá dữ liệu. Để tìm hiểu một số thuật toán trong khai phá dữ liệu, xây dựng mô hình dự báo sinh viên bỏ học tại Trường Đại học An Giang. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

11 p husc 21/09/2016 320 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khám phá tri thức, Khai phá dữ liệu, Dữ liệu thông dụng, Thuật toán Bayes, Xây dựng mô hình, Thu thập dữ liệu, Mô tả bài toán
Giải trọn vẹn bài toán bù tuyến tính với P(-k) - ma trận

Tìm hiểu khái niệm cơ bản về bài toán bù tuyến tính, các bài toán liên quan và một số lớp ma trận đặc biệt. Trình bày một số phương pháp xoay giải bài toán bù tuyến tính như phương pháp xoay chính đơn giản và phương pháp Lemke. Nghiên cứu biểu diễn tập nghiệm của bài toán bù tuyến tính khi M thuộc lớp ma trận mở rộng của lớp P-ma trận, đưa ra...

4 p husc 30/03/2016 292 1

Từ khóa: Toán học, Toán học ứng dụng, Toán bù tuyến tính, Mô tả bài toán, Các lớp ma trận, Thuật toán, Số nghiệm cực đại
Xây dựng ngôn ngữ mô tả cơ sở tri thức motor suy diễn phục vụ chứng minh bài toán hình học phổ thông

Gồm 4 chương: 1. Chứng minh bài toán hình học có sự trợ giúp của máy tính; 2. Xây dựng ngôn ngữ mô tả cơ sở tri thức; 3. Thiết kế mô tơ suy diễn trợ giúp chứng minh; 4. Chương trình. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

2 p husc 27/11/2015 226 1

Từ khóa: Tin học, Công nghệ thông tin, Chương trình ứng dụng, Ngôn ngữ mô tả, Chứng minh bài toán, Hình học, Motor suy diễn, Trợ giúp chứng minh
Nghiên cứu chương trình logic mô tả trong các bài toán suy diễn web ngữ nghĩa

Giới thiệu các kiến thức cơ sở về Web ngữ nghĩa và ontology. Vấn đề suy diễn trong web ngữ nghĩa, suy diễn trong logic mô tả và chỉ ra hạn chế trong logic mô tả và hướng khắc phụ hạn chế đó. Ứng dụng chương trình logic mô tả trong suy diễn Web ngữ nghĩa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

6 p husc 26/03/2015 200 2

Từ khóa: Tin học, Web, Logic mô tả, bài toán suy diễn, Web ngữ nghĩa