» Từ khóa: ngon ngu khoa hoc

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. 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

 10 p husc 27/09/2016 339 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.

Trình bày một số kiến thức cơ sở về lý thuyết tập mờ. logic mờ như biến ngôn ngữ, các phép tính trên tập mờ, mờ hóa, khử mờ, mệnh đề mờ, mô hình chuẩn đoán bệnh đái tháo đường. 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

 10 p husc 27/09/2016 250 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập hợp mờ, Biến ngôn ngữ, Mệnh đề mờ, Luật hợp thành, Chuẩn đoán bệnh.

Ứng dụng để xây dựng hệ thống chuẩn đoán bệnh sỏi thận, để mô phỏng hệ thống chuẩn đoá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 26/09/2016 270 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Biến ngôn ngữ, Mệnh đề mờ, Tập luật mờ, Bộ khử mờ, Bệnh sỏi thận, Hệ thống chuẩn đoán, Kết quả chuẩn đoán.

Khái quát về cơ sở dữ liệu có yếu tố thời gian, các mô hình cơ sở dữ liệu có yếu tố thời gian. Mô hình TimeER trong đó bao gồm các tập thực thể, thuộc tính, mối quan hệ, ràng buộc. Phương pháp chuyển đổi từ mô hình TimeER sang mô hình đối tượng ODMG. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543....

 11 p husc 26/09/2016 321 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập thực thể, Quan hệ lớp cha, Chuyển thông điệp, Phân cấp lớp, Siêu dữ liệu, Ngôn ngữ định dạng, Bước chuyển đổi, Mô hình chuyển đổi.

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 416 3 Download

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.

Tìm hiểu các kiến thức cơ bản về xếp hạng tín dụng, mô hình xếp hạng tín dụng cá nhân sử dụng phương pháp lập luận mờ, và công cụ Fuzzy Logic Toolbox trong Matlab từ đó xây dựng thành 4 nhóm luật và mô phỏng việc xây dựng các nhóm luật này để đánh giá xếp hạng tín dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 11 p husc 23/09/2016 287 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập mờ, Biến ngôn ngữ, Phép hợp mờ, Phép giao mờ, Quan hệ mờ, Logic mờ, Lập luận xấp xỉ.

Tìm hiểu về các ngôn ngữ biễu diễn dữ liệu và lược đồ trong Semantic Web, cách biểu diễn Linked Data cho Web dữ liệu. 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

 10 p husc 21/09/2016 340 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ Web, Linked Data, Chuẩn bị dữ liệu, Xuất bản dữ liệu, Tham chiếu trong, Các kiểu dữ liệu, Tạo liên kết dữ liệu

Giới thiệu tổng quan về ngôn ngữ tiếng Việt, các đặc trưng cơ bản của tiếng Việt và mọt số kỹ thuật xử lý ngôn ngữ tự nhiên. Khái quát về tách từ tiếng việt, lịch sử nghiên cứu và hướng tiếp cận bài toán tách từ và đề xuất một số phương pháp tách từ tiếng Việt. Tìm hiểu thực trạng việc ứng dụng Công nghệ thông tin trong văn...

 6 p husc 20/06/2016 320 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ tự nhiên, Xử lý ngôn ngữ, Ngôn ngữ tiếng Việt, Bài toán tách từ, Tách từ tiếng Việt, Loại bỏ từ dừng, Tự động hóa phân loại, Hỗ trợ phân loại, Khớp cực đại

Trình bày các khái niệm cơ sở của chương trình logic, cách tiếp cận ngữ nghĩa của chương trình logic. Trình bày chương trình logic phỏng đoán (Giới thiệu về lập trình logic phỏng đoán, tính toán phỏng đoán trong lập trình logic, cú pháp và ngữ nghĩa của chương trình logic phỏng đoán). Phương pháp tính toán phỏng đoán và cài đặt thực thi một số chương...

 5 p husc 20/06/2016 216 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Chương trình logic, Logic xác định, Logic thông thường, Tính toán phỏng đoán, Hệ thống Smodels, Phỏng đoán EK, Phỏng đoán KM

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 314 1 Download

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

Trình bày cách xây dựng miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử đơn điệu hữu hạn, ánh xạ ngược của gia tử, logic đa trị ngôn ngữ, phương pháp lập luận ngôn ngữ dựa trên các quy tắc suy diễn trong logic đa trị ngôn ngữ. 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 01/06/2016 271 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mờ, Tập mờ, Phép kéo theo mờ, Biến ngôn ngữ, Đại số gia tử, Ánh sáng ngược, Logic đa trị, Quy tắc suy diễn, Đa trị ngôn ngữ

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 328 1 Download

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