Tài liệu Thư viện số
Danh mục TaiLieu.VN
Kết quả 421-432 trong khoảng 705
Bài giảng Đặc tả hình thức: Chương 13 - Nguyễn Thị Minh Tuyền
Chương 13 giúp người học hiểu về "Giới thiệu về ESC/Java2 Cảnh báo". Nội dung trình bày cụ thể gồm có: Các loại cảnh báo ESC/Java2, Cast warning, Null warning, ArrayStore Warning, ZeroDiv, index Warnings, class invariant warnings,...
41 p husc 31/01/2018 150 1
Bài giảng Đặc tả hình thức: Chương 14 - Nguyễn Thị Minh Tuyền
Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Từ khóa chính trong JML, các tính năng nâng cao, đặc tả các ngoại lệ, ngoại lệ được cho phép bởi đặc tả, đặt ra luật cho ngoại lệ, hành vi ngoại lệ,...
28 p husc 31/01/2018 194 1
Bài giảng Đặc tả hình thức: Chương 15 - Nguyễn Thị Minh Tuyền
Aliasing là nguồn gốc của mọi rắc rối phức tạp. Bài giảng Đặc tả hình thức: Chương 15 do Nguyễn Thị Minh Tuyền biên soạn sau đây sẽ giúp các bạn nắm rõ kiến thức về Aliasing, trường Ghost, các trường model,...Mời các bạn cùng tham khảo!
25 p husc 31/01/2018 177 1
Mô hình ước lượng chi phí xử lý truy vấn đối tượng trong cơ sở dữ liệu hướng đối tượng
Trong bài báo này, các tác giả nghiên cứu mô hình chi phí trên các khối dựng sẵn trong xử lý truy vấn với các yếu tố chi phí cơ sở, trong đó có sự xem xét bổ sung chi phí xử lý trên các lớp sưu tập gộp nhóm. Mời các bạn cùng tham khảo nội dung chi tiết.
11 p husc 31/01/2018 236 1
Trong bài báo này, các tác giả để xuất các giải pháp xây dựng phép toán ADN như một phép tích hợp có trọng số và sử dụng giải thuật di truyền để xác định toàn bộ trọng số tối ưu cho phép tích hợp này. Mời các bạn cùng tham khảo nội dung chi tiết.
11 p husc 31/01/2018 203 1
Thuật toán khai thác tập thường xuyên hiệu quả dựa trên kỹ thuật phân lớp dữ liệu
Trong bài báo này các tác giả đề xuất phương án giải quyết bài toán trên bằng cách phân hoạch dữ liệu thành N lớp, mỗi lớp được lưu trữ độc lập thành 1 file trên bộ nhớ ngoài và đề xuất thuật toán SPP-Mining để khai thác các tập thường xuyên với ngưỡng So tùy ý và được xử lý song song trên N máy.
12 p husc 31/01/2018 219 1
Định lượng ngữ nghĩa khoảng của đại số gia tử với việc bổ sung một gia tử đặc biệt
This paper introduces a new method of quantification of hedge algebras, which is different from the ordinary method by the fact that an artificial hedge h0 should be added to model the contextdependent semantics of terms. It is aimed to represent the change of the semantics of any term x of length k appeared in the context X(k+1) of terms with the length k+ 1, so the meaning of a term will be changed when its adjacent terms are changed.
13 p husc 31/01/2018 241 1
Phát triển giải thuật điều khiển đèn giao thông thông minh
This study presents an implementation of an intelligent traffic light control system for a crossroads based on combination of image processing and fuzzy controller. After certain seconds of red light, traffic densities are estimated from captured images. Based on this estimated result, a fuzzy controller determines the length of the next green light period in order to generate longer period for higher density road, vice versa.
11 p husc 31/01/2018 283 1
Phụ thuộc hàm đối tượng mờ trong cơ sở dữ liệu hướng đối tượng mờ
Bài báo này giới thiệu các phụ thuộc hàm đối tượng mờ cho phép biểu diễn các ràng buộc trên các thuộc tính của các kiểu đối tượng mờ có thể bao gồm cả kiểu của chính nó trong lược đồ CSDL mờ. Mời các bạn cùng tham khảo nội dung chi tiết.
12 p husc 31/01/2018 256 1
Thuật toán mới xác định độ trễ giải mã của ngôn ngữ chính quy
Bài báo đề xuất một giải thuật mới xác định độ trễ giải mã của ngôn ngữ chính quy được đón nhận với ôtômat hữu hạn A. Giải thuật có độ phức tạp O(n3) với n là số cung và trạng thái của A. Mời các bạn cùng tham khảo nội dung chi tiết.
13 p husc 31/01/2018 232 1
Xác định điều kiện để bảo toàn thông tin trong làm trơn phổ tín hiệu điện tim nhiễm nhiễu
Bài báo trình bày kết quả đạt được trong việc xác định các yếu tố ảnh hưởng đến chặn trên của xác suất xảy ra sự kiện sai số vượt quá ngưỡng cho phép. Trong các yếu tố đó, độ dài cắt mẫu là tham số duy nhất mà người sử dụng có thể điều chỉnh. Mời các bạn cùng tham khảo nội dung chi tiết.
12 p husc 31/01/2018 224 1
Độ đo tương tự hỗn hợp đóng vai trò quan trọng trong các bài toán phát hiện tri thức và khai phá dữ liệu dựa trên khoảng cách hay dựa trên độ tương tự giữa các đối tượng như bài toán phân lớp, phân cụm,... Bài báo trình bày chi tiết hơn về độ đo tương tự hỗ hợp có trọng số được xác định tự động dựa trên lý thuyết tập thô.
10 p husc 31/01/2018 259 1
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập tài liệu Toán học hay
24 7267
17 11479
Tuyển tập tác phẩm văn học hay
15 7001