Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo khoa học: "A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices"
tailieunhanh - Báo cáo khoa học: "A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices"
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unification-based parser must support. We extend the traditional bit vector encoding, which represents join failure using the zero vector, to count any vector with less than a fixed number of one bits as failure. | A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices Matthew Skala School of Computer Science University of Waterloo mskala@ Victoria Krakovna Janos Kramar Dept. of Mathematics University of Toronto vkrakovna jkramar @ Gerald Penn Dept. of Computer Science University of Toronto gpenn@ Abstract Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unification-based parser must support. We extend the traditional bit vector encoding which represents join failure using the zero vector to count any vector with less than a fixed number of one bits as failure. This allows non-joinable elements to share bits resulting in a smaller vector size. A constraint solver is used to construct the encoding and a variety of techniques are employed to find near-optimal solutions and handle timeouts. An evaluation is provided comparing the extended representation of failure with traditional bit vector techniques. 1 Introduction The use of bit vectors is almost as old as HPSG parsing itself. Since they were first suggested in the programming languages literature Ait-Kaci et al. 1989 as a method for computing the unification of two types without table lookup bit vectors have been attractive because of three speed advantages The classical bit vector encoding uses bitwise AND to calculate type unification. This is hard to beat. Hash tables the most common alternative involve computing the Dedekind-MacNeille completion DMC at compile time if the input type hierarchy is not a bounded-complete partial order. That is exponential time in the worst case most bit vector methods avoid explicitly computing it. With large type signatures the table that indexes unifiable pairs of types may be so large that it pushes working parsing memory into swap. This loss of locality of reference costs time. Why isn t everyone using bit
Thu Thảo
61
10
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461738
55
Giới thiệu :Lập trình mã nguồn mở
14
22071
54
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10740
524
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
9929
445
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9427
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8134
1122
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8134
421
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7819
2212
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6502
247
Vật lý hạt cơ bản (1)
29
5680
81
TỪ KHÓA LIÊN QUAN
Báo cáo khoa học
A Generalized Zero Preserving Method
Compact Encoding
Concept Lattices
báo cáo khoa học
báo cáo ngôn ngữ
ngôn ngữ tự nhiên
Bài giảng Xử lý ngôn ngữ tự nhiên
Xử lý ngôn ngữ tự nhiên
Kỹ thuật lập trình
Mô hình ngôn ngữ
Mô hình n gram
Dịch máy
Phương pháp dịch máy
Hiểu ngôn ngữ
Phân loại tin tự động
Tạo chí tin học
Điều khiển học
Truy vấn ngôn ngữ tự nhiên
Phép dịch truy vấn ngôn ngữ tự nhiên
Truy vấn SQL
Văn phạm ngữ nghĩa
Xử lý nhập nhằng ngữ nghĩa
Xử lý ngữ nghĩa
Phân tích ngữ nghĩa
Biểu diễn vị từ
Thuộc tính về sự kiện
Thuộc tính về sự kiện
Xử lý ngôn ngữ
Natural Language Processing
Ngôn ngữ lập trình
Nhập nhằng cấu trúc
Tri thức về ngôn ngữ
Mô hình ngôn ngữ Google Book N grams
Mô hình ngôn ngữ KenLM
Phương pháp làm mịn
Bài toán PTCP
Phân tích cú pháp
Cấu trúc ngữ pháp
Phân tích cú pháp xác suất
CKY kết hợp xác suất
Văn phạm phi ngữ cảnh xác suất
Hình thái học
Gán nhãn từ loại
Ngôn ngữ tự nhiên trong dịch máy
Hệ thống dịch máy
Phương pháp xây dựng bảng từ
Tác từ
Conditional random fields
Nhận dạng thực thể có tên
Đối tượng vật lý trừu tượng
Phân lớp văn bản
Biểu diễn nhị phân
Ma trận từ văn bản
Wolfram Alpha
Trích rút thông tin
Phương pháp Snowball
TÀI LIỆU MỚI ĐĂNG
Động cơ đốt trong và máy kéo công nghiêp tập 2 part 8
32
249
0
29-03-2024
beginning Ubuntu Linux phần 1
34
198
1
29-03-2024
Bơm máy nén quạt trong công nghiệp part 8
20
189
2
29-03-2024
Data Structures and Algorithms - Chapter 8: Heaps
41
106
0
29-03-2024
Hệ thống làm lạnh và điều hòa không khí
21
117
0
29-03-2024
Giáo trình kỹ thuật sữa chữa ô tô, máy nổ part 8
47
129
1
29-03-2024
Luận văn tốt nghiệp ĐIỀU KHIỂN ĐỘNG CƠ KHÔNG ĐỒNG BỘ 3 PHA SỬ DỤNG VI ĐIỀU KHIỂN PIC18F4431 THEO PHƯƠNG PHÁP VECTOR KHÔNG GIAN
110
105
0
29-03-2024
Advanced 3D Game Programming with DirectX - phần 10
67
94
0
29-03-2024
Tự học thổi sáo và ngâm thơ part 4
11
141
1
29-03-2024
Chương 10: Các phương pháp tính quá trình quá độ trong mạch điện tuyến tính
57
172
4
29-03-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7819
2212
Ebook Chào con ba mẹ đã sẵn sàng
112
3652
1216
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5129
1173
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8134
1122
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5034
1084
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3402
638
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3620
524
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10740
524
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
3901
502
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4026
470
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.