- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Bài giảng Các kỹ thuật học sâu và ứng dụng: Bài 1 - TS. Nguyễn Vinh Tiệp
Bài giảng Các kỹ thuật học sâu và ứng dụng - Bài 1: Bài mở đầu là chuyên đề giới thiệu tổng quan về môn học và lĩnh vực học sâu. Bài giảng sẽ trình bày lịch sử hình thành, những thành tựu nổi bật của Trí tuệ Nhân tạo và ôn tập các kiến thức nền tảng toán học cần thiết. Mời các bạn cùng tham khảo bài giảng để biết thêm chi tiết!
59 p actvn 29/07/2025 13 0
Từ khóa: Kỹ thuật học sâu, Machine learning, Mô hình máy học, Lịch sử hình thành AI, Thành tựu trí tuệ nhân tạo, Ôn tập nền tảng toán, Khái niệm học sâu, Lĩnh vực công nghệ
Bài giảng Các kỹ thuật học sâu và ứng dụng: Bài 6 - TS. Nguyễn Vinh Tiệp
Bài giảng Các kỹ thuật học sâu và ứng dụng - Bài 6: Recurrent Neural Network giới thiệu về mạng nơ-ron hồi quy (RNN), một kiến trúc mạnh mẽ cho dữ liệu trình tự. Chuyên đề này phân tích mô hình ngôn ngữ và các bài toán trong NLP, đồng thời đi sâu vào giới thiệu về RNN cùng những vấn đề và hướng giải quyết thường gặp. Đây là kiến thức cốt...
37 p actvn 29/07/2025 10 0
Từ khóa: Kỹ thuật học sâu, Machine learning, Mô hình máy học, Recurrent Neural Network, Mô hình ngôn ngữ, Bài toán trong NLP, Xử lý dữ liệu trình tự
Bài viết tập trung đề xuất xây dựng cấu trúc cây phạm vi bằng các kỹ thuật của hình học tính toán để thực hiện truy vấn trên phạm vi trực giao, đồng thời cũng đề xuất giải pháp cải tiến thuật toán cây phạm vi bằng phương pháp tập điểm chung.
8 p actvn 27/11/2024 44 0
Từ khóa: Hình học tính toán, Phạm vi truy vấn, Cây phạm vi, Phương pháp tập điểm chung, Cuộc cách mạng công nghiệp 4.0
Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng Petri hàng đợi
Bài viết Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng Petri hàng đợi trình bày cách xây dựng chương trình chuyển đổi tự động một số đối tượng trong biểu đồ trình tự sang mạng Petri hàng đợi. Cách tiếp cận được trình bày trong bài viết có thể được sử dụng để chuyển đổi tự động một biểu...
8 p actvn 29/09/2024 56 0
Từ khóa: Biểu đồ trình tự, Mạng hàng đợi Petri, Mô hình chuyển đổi, Ngôn ngữ mô hình toán học, Cấu trúc chương trình chuyển đổi
Nhận diện biển báo và tín hiệu đèn giao thông sử dụng YOLOv4 trên phần cứng Jetson TX2
Bài viết "Nhận diện biển báo và tín hiệu đèn giao thông sử dụng YOLOv4 trên phần cứng Jetson TX2" nghiên cứu sử dụng mô hình YOLOv4, một trong những kiến trúc phổ biến của học sâu để phát hiện, nhận diện biển báo và các tín hiệu đèn giao thông. Nghiên cứu tập trung vào việc so sánh và đánh giá để lựa chọn phiên bản phù hợp với bộ dữ liệu....
11 p actvn 27/06/2023 105 0
Từ khóa: Nhận diện biển báo đèn giao thông, Nhận diện tín hiệu đèn giao thông, Mô hình YOLOv4, Phần cứng Jetson TX2, Thuật toán YOLOv4, Tạp chí Khoa học Công nghệ Thực phẩm
Bài giảng Đặc tả hình thức: Chương 2 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 2 Cơ sở toán học trong đặc tả hình thức, cung cấp cho người đọc những kiến thức như: Lý thuyết tập hợp; Phép toán vị từ; Lượng từ; Luật suy diễn. Mời các bạn cùng tham khảo!
75 p actvn 21/03/2023 117 0
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Cơ sở toán học trong đặc tả hình thức, Phép toán vị từ, Luật suy diễn
Đăng nhập
Bộ sưu tập nổi bật