» Từ khóa: ngôn ngữ mô hình

Kết quả 25-34 trong khoảng 34

Tìm hiểu về lập trình Web ngữ nghĩa và ứng dụng.

Trình bày những khái niệm được xem là then chốt của Web ngữ nghĩa. Trình bày các thành phần của RDF và RDFS, Ontology và OWL. 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

12 p husc 23/09/2016 415 3

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ OWL, Lập trình RDF, Truy vấn mô hình, Liệt kê mô hình, Nguồn dữ liệu, Giao diện chính, Dữ liệu task.
Nghiên cứu việc chuyển đổi mô hình TimeER sang OWL ONTOLOGY.

Trình bày phương pháp chuyển đổi mô hình EER sang OWL-ontology để xây dựng ứng dụng minh họa, trình bày kết quả minh họa và kết quả cài đặt công cụ TimeER2OWL. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

7 p husc 01/06/2016 312 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Web ngữ nghĩa, Lớp cha, Lớp con, Chuyên biệt hóa, Dữ liệu thời gian, Mô hình TimeER, Xây dựng ontology, Ngôn ngữ RDF, Dữ liệu vào, Dữ liệu ra, Phân tích bài toán
Tìm hiểu chương trình Datalog $ và logic mô tả DL-Lite.

Trình bày về mối quan hệ giữa chương trình Datalog và logic mô tả. Cú pháp và ngữ nghĩa logic mô tả DL-Lite được trình bày chi tiết và phương pháp chuyển đổi logic mô tả DL-Lite thành chương trình Datalog$. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

5 p husc 31/05/2016 324 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình datalog, Hệ quả logic, Lý thuyết mô hình, Mô tả DL-Lite, Logic bậc nhất, Ngôn ngữ logic
Nghiên cứu và xây dựng hệ thống tích hợp thông tin cá nhân dựa trên công nghệ Web ngữ nghĩa.

Hệ thống quản lý thông tin cá nhân theo tiếp cận Web ngữ nghĩa. Cách biểu diễn thông tin bằng RDF và OWL. Truy vấn thông tin cá nhân bằng ngôn ngữ SPARQL. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

10 p husc 27/05/2016 259 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Web ngữ nghĩa, Mô hình dữ liệu RDF, Phân cấp lớp, Phân cấp thuộc tính, Ngôn ngữ RDF, Toán tử tập hợp, Lớp liệt kê, Lớp rời nhau, Khung ứng dụng.
Tìm hiểu mô hình điều khiển mờ sử dụng đại số gia tử.

Nghiên cứu mô hình điều khiển mờ sử dụng lý thuyết tập mờ và sử dụng đại số gia tử. Mô hình điều khiển mờ sử dụng đại số gia tử theo cách tiếp cận điều chỉnh ngữ nghĩa định lượng và giải thuật di truyền. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

6 p husc 27/05/2016 321 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập mờ, Biến ngôn ngữ, Luật hợp thành, Mệnh đề hợp thành, Đại số gia tử, Giải thuật di truyền, Mô hình mờ, Mô hình hệ thống.
Nghiên cứu việc mở rộng ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển

Trình bày cú pháp và ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương; ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển dựa trên logic ba trị; Giới thiệu hai hệ thống lập trình logic là Smodels và DLV, minh họa việc cài đặt và thực thi một số chương trình logic trên hai hệ thống này; Cài đặt thuật toán tính ngữ nghĩa xác...

5 p husc 17/03/2016 380 3

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dạng tuyển, Ngôn ngữ bậc nhất, Thuật toán tính ngữ, Cài đặt thuật toán, Mô hình xác đáng
Sử dụng mô hình truyền thông báo để giải quyết một số bài toán có thời gian thực hiện lớn

Gồm 3 chương: 1. Tổng quan về thuật toán và lập trình song song; 2. Mã hóa thông tin; 3. Cài đặt. 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

4 p husc 27/11/2015 335 1

Từ khóa: Tin học, Công nghệ thông tin, Mô hình truyền thông, Ngôn ngữ lập trình, Lập trình song song, Mã hóa thông tin, Thuật toán song song, Mã khóa công khai, Lý thuyết mật mã
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 238 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
Bài giảng Tìm kiếm và trình diễn thông tin: Bài 11 - TS.Nguyễn Bá Ngọc

Cùng tìm hiểu Mô hình ngôn ngữ nằm trong bài 11 thuộc bộ bài giảng Tìm kiếm và trình diễn thông tin: Bài 11 do TS.Nguyễn Bá Ngọc biên soạn. Với các vấn đề chính như: Mô hình sinh; mô hình sinh văn bản; máy một trạng thái; xếp hạng văn bản;...

23 p husc 23/11/2015 179 1

Từ khóa: Tìm kiếm và trình diễn thông tin, Hệ thống thông tin, Mô hình ngôn ngữ, Trình diễn thông tin, Mô hình sinh, Mô hình sinh văn bản
Tìm hiểu ngôn ngữ truy vấn TSQL trên các cơ sở dữ liệu thời gian

Tìm hiểu các khái niệm cơ sở dữ liệu có yếu tố thời gian, mô hình quan hệ, để từ đó làm cơ sở tìm hiểu việc mở rộng truy vấn TSQL có yếu tố thời gian. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

6 p husc 01/04/2015 362 1

Từ khóa: Tin học, cơ sở dữ liệu thời gian, mô hình quan hệ, ngôn ngữ truy vấn, ngôn ngữ truy vấn TSQL