Khoa học máy tính reference-request

1

Có bài báo nào được công bố về phần mềm lập kế hoạch tự động được sử dụng trong nhiệm vụ ESA Rosetta không?

Tàu vũ trụ Rosetta đã chạm tới một sao chổi vào tháng 8 năm 2014 và gửi một tàu đổ bộ lên bề mặt của nó. Đó là một trong những tin tức khoa học lớn nhất trong năm. Kỹ thuật lập kế hoạch và lập kế hoạch tự động …

7 reference-request artificial-intelligence planning

2

Chính thức hóa lý thuyết thể loại cơ bản trong Coq

Tôi hoàn toàn là người mới bắt đầu ở Coq và tôi đang cố gắng thực hiện một số công cụ lý thuyết thể loại như một bài tập. Tôi lướt một chút trong số các git repos của nhiều triển khai như vậy (HoTT, đồng hành Coq của Awode, …

7 reference-request category-theory coq

1

Xác định số cạnh tối thiểu cần thêm để được kết nối 3

Một đồ thị được gọi là kết nếu nó không có các đường cắt -exex (nghĩa là, ít nhất ba đỉnh phải bị xóa để ngắt kết nối đồ thị). Theo như tôi biết, có thể xác định xem một biểu đồ đơn giản có được kết nối trong thời …

7 algorithms graph-theory reference-request

3

Sự phức tạp của các vấn đề xử lý ngôn ngữ tự nhiên [đóng]

Đã đóng cửa . Câu hỏi này cần được tập trung hơn . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó chỉ tập trung vào một vấn đề bằng cách chỉnh sửa bài đăng này . Đóng …

7 complexity-theory reference-request np-complete np-hard natural-language-processing

1

Mối quan hệ giữa mở rộng đồ thị và độ dẫn

Tôi khá bối rối về mối quan hệ chính xác giữa việc mở rộng đồ thị và độ dẫn của nó. Câu hỏi đầu tiên của tôi là: Ai đó có thể chỉ cho tôi một tài liệu tham khảo thảo luận về cả hai khái niệm này? (Tôi đã …

7 graph-theory reference-request combinatorics expanders

4

Các vấn đề là NP nhưng đa thức trên biểu đồ của treewidth giới hạn

Tôi nghe nói ở đây rằng bài toán chu trình Hamilton là đa thức trên đồ thị của treewidth giới hạn. Tôi quan tâm đến các ví dụ / tài liệu tham khảo cho các vấn đề khác nhau, về cơ bản là khó nhưng có độ phức tạp đa …

7 complexity-theory graph-theory reference-request np polynomial-time

2

Giảm các ví dụ từ vấn đề NPC mạnh mẽ 3-PHẦN

3-PHẦN THAM GIA hoàn toàn NP , nghĩa là nó vẫn hoàn thành NP ngay cả khi đầu vào được đưa ra một cách đơn nhất. Tôi đang tìm kiếm hai hoặc ba ví dụ về các vấn đề không phải là số (có thể được biết đến) đã được …

7 reference-request np-complete

2

Đọc môi tự động: suy luận những gì ai đó đang nói, dựa trên video họ nói

Một số người có thể đọc môi khá tốt: bằng cách xem ai đó đang nói, họ có thể nói người nói đang nói gì (ngay cả khi không nghe bài phát biểu). Đã có công việc nào trong việc xây dựng phần mềm máy tính để đọc môi chưa? …

7 reference-request computer-vision pattern-recognition facial-recognition

1

Kết quả về các ngôn ngữ được công nhận bởi các DFA không mong muốn

Đối với luận án Cử nhân của tôi, tôi xem xét lớp ngôn ngữ được công nhận bởi các DFA đối xứng, nghĩa là tự động hữu hạn xác định (hoàn chỉnh) thỏa mãn điều kiện sau: Để cho AAA là một DFA hoàn chỉnh trên bảng chữ cái ΣΣ\Sigma. …

7 formal-languages reference-request regular-languages finite-automata

1

Số lượng người tham gia lý tưởng để đánh giá phương pháp tiếp cận phát triển / kiến trúc phần mềm

Đối với luận án của tôi, tôi đã tạo ra một cách tiếp cận phát triển (bao gồm các lược đồ, mẫu ứng dụng và mã nguyên mẫu) để giúp phát triển và điều chỉnh các ứng dụng cho một nền tảng cụ thể dễ dàng hơn. Tôi đã thực …

7 reference-request software-engineering empirical-research

2

Cho một cây, tìm một đỉnh tối đa hóa khoảng cách tối thiểu đến bất kỳ lá nào

Nếu tôi được đưa ra một biểu đồ tạo thành một cái cây, tôi muốn tìm một đỉnh tối đa hóa khoảng cách tối thiểu đến bất kỳ chiếc lá nào. Tôi chắc chắn vấn đề này đã được nghiên cứu trước đây. Có ai biết tên của vấn đề …

7 algorithms graph-theory reference-request trees

3

Có bao nhiêu máy Turing chạy trong thời gian

Tôi nghĩ rằng một nửa trận chiến trong việc trả lời câu hỏi này nằm ở việc xây dựng nó một cách chính xác! Một công cụ tìm kiếm không bật lên nhiều, vì vậy tôi đã tự hỏi liệu đây là một câu hỏi nổi tiếng hay được nghiên …

7 complexity-theory reference-request turing-machines combinatorics

2

Ai (và khi nào) xác định biểu đồ khoảng thời gian đầu tiên?

Tôi đã tìm kiếm học giả google để tham khảo và thu hẹp đề cập đầu tiên vào đâu đó vào khoảng năm 1963 với một sự hốt hoảng rất kỳ lạ vào năm 1949. Vì vậy, tôi đang cố gắng theo dõi bài báo gốc giới thiệu các biểu …

7 graph-theory reference-request history

2

Các thuật toán lập trình động với nhật ký trong thời gian chạy

Hầu hết các ví dụ kinh điển về thuật toán lập trình động có thời gian chạy như nnn hoặc là n2n2n^2. Có ví dụ tự nhiên nào vớiO(nlogn)O(nlog⁡n)O(n \log n) thời gian chạy

7 algorithms reference-request dynamic-programming

2

Tài liệu tham khảo về các khóa học lập trình giới thiệu

Khi học kỳ mới bắt đầu sớm, tôi quan tâm đến nghiên cứu về việc giảng dạy các khóa học lập trình giới thiệu. Tôi muốn cải thiện khóa học đại học của tôi và tôi đang tìm kiếm các bài báo khoa học về chủ đề đó. Một xu …

7 reference-request education

Câu hỏi được gắn thẻ «reference-request»