Informatyka

5

Jaka jest różnica między wykrywaniem obiektów, segmentacją semantyczną i lokalizacją?

Przeczytałem te słowa w wielu publikacjach i chciałbym mieć kilka fajnych definicji tych terminów, które wyjaśniają, jaka jest różnica między wykrywaniem obiektu a segmentacją semantyczną a lokalizacją. Byłoby miło, gdybyś mógł podać źródła swoich definicji.

23 terminology computer-vision

2

Czy istnieją programy, które nigdy się nie zatrzymują i nie mają dowodu braku wypowiedzenia?

Jak czarne dziury w informatyce. Możemy tylko wiedzieć, że istnieją, ale kiedy będziemy mieli jeden z nich, nigdy nie będziemy wiedzieć, że to jeden z nich.

23 halting-problem correctness-proof

4

W jaki sposób śmieciarze unikają przepełnienia stosu?

Zastanawiałem się więc, jak działają śmieciarki, i pomyślałem o interesującym problemie. Przypuszczalnie śmieciarze muszą przemierzać wszystkie struktury w ten sam sposób. Nie znają pogody, przemierzają połączoną listę, zrównoważone drzewo czy cokolwiek innego. Nie mogą też zużywać zbyt dużo pamięci podczas wyszukiwania. Jednym z możliwych sposobów i jedynym sposobem, w jaki …

23 programming-languages memory-management garbage-collection

7

Biorąc pod uwagę konkretny system komputerowy, czy jest możliwe oszacowanie faktycznego dokładnego czasu działania fragmentu kodu zespołu

to jest fragment kodu asemblera section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel mov eax, …

23 assembly

1

Złożoność przyjmowania mod

To wydaje się pytaniem, które powinno mieć łatwą odpowiedź, ale nie mam ostatecznego: nnna,pa,pa, pamodpamodpa\bmod p Jedynie podzielenie przez będzie wymagać czasu , gdzie jest złożoność mnożenia. Ale czy można wykonać nieco szybciej?aaappp O(M(n))O(M(n))O(M(n))M(n)M(n)M(n)modmod\bmod

23 algorithms number-theory

10

Czy jest możliwy uniwersalny język asemblera dla wszystkich komputerów?

Chciałbym zadać kilka pytań na temat języka asemblera. Rozumiem, że jest bardzo zbliżony do języka maszynowego, dzięki czemu jest szybszy i bardziej wydajny. Skoro mamy różne architektury komputerów, czy to oznacza, że muszę pisać inny kod w asemblerze dla różnych architektur? Jeśli tak, to dlaczego nie jest Zgromadzenie, napisz raz …

23 programming-languages computer-architecture

10

Dlaczego niedeterminizm jest użyteczną koncepcją?

Automat jest abstrakcyjnym modelem komputera cyfrowego. Komputery cyfrowe są całkowicie deterministyczne; ich stan w dowolnym momencie jest wyjątkowo przewidywalny na podstawie stanu wejściowego i początkowego. Kiedy próbujemy modelować prawdziwe systemy, dlaczego włączamy niedeterminizm do teorii automatów?

23 automata nondeterminism applied-theory

1

Jak działa wypełnianie tabeli routingu ciasta?

To pytanie zostało przeniesione z Software Stack Stack Exchange, ponieważ można na nie odpowiedzieć na Computer Science Stack Exchange. Migrował 7 lat temu . Próbuję wdrożyć tabelę rozproszonego mieszania ciasta, ale niektóre rzeczy wymykają mi się z zrozumienia. Miałem nadzieję, że ktoś to wyjaśni. Oświadczenie : Nie jestem studentem informatyki. …

23 algorithms data-structures distributed-systems hash-tables

4

Jaka jest różnica między siecią neuronową, systemem głębokiego uczenia się i siecią głębokich przekonań?

Jaka jest różnica między siecią neuronową, systemem głębokiego uczenia się i siecią głębokich przekonań? O ile pamiętam, twoja podstawowa sieć neuronowa jest czymś w rodzaju 3 warstw, a Deep Belief Systems opisałem jako sieci neuronowe ułożone jedna na drugiej. Do niedawna nie słyszałem o Deep Learning Systems, ale mocno podejrzewam, …

23 machine-learning neural-networks boltzmann-machine

2

Dlaczego push_back w wektorach C ++ jest stale amortyzowany?

Uczę się C ++ i zauważyłem, że czas działania funkcji push_back dla wektorów jest stały „amortyzowany”. Dokumentacja zauważa ponadto, że „Jeśli nastąpi realokacja, sama realokacja jest liniowa w całym rozmiarze”. Czy nie powinno to oznaczać, że funkcją push_back jest , gdzie jest długością wektora? W końcu interesuje nas analiza najgorszego …

23 algorithms time-complexity amortized-analysis

3

Kategoryzacja systemów typów (mocna / słaba, dynamiczna / statyczna)

W skrócie: w jaki sposób kategoryzowane są systemy typów w kontekście akademickim; w szczególności, gdzie mogę znaleźć renomowane źródła, które wyraźnie rozróżniają różne systemy typów? W pewnym sensie trudność związana z tym pytaniem nie polega na tym, że nie mogę znaleźć odpowiedzi, ale raczej na tym, że mogę znaleźć zbyt …

23 reference-request programming-languages type-theory

2

Zbiorowy problem z rachunkiem

Przy stole jest nnn ludzi. iii th osoba musi zapłacić pipip_i dolarów. Niektórzy ludzie nie mają odpowiednich rachunków, aby zapłacić dokładnie , dlatego opracowali następujący algorytm.pipip_i Po pierwsze, wszyscy kładą na stole część swoich pieniędzy. Następnie każda osoba odbiera nadpłacone pieniądze. Rachunki mają ustalony zestaw nominałów (nie stanowi części danych …

23 algorithms optimization

5

rachunek z odbiciem

Szukam prostego rachunku, który obsługuje rozumowanie na temat refleksji , a mianowicie introspekcji i manipulacji uruchomionymi programami. Czy istnieje nietypowe rozszerzenie -calculus, które umożliwia konwersję -terms do postaci, którą można manipulować składniowo, a następnie oceniać?λλλ\lambdaλλ\lambda Wyobrażam sobie, że rachunek składa się z dwóch głównych dodatkowych terminów: r e f l …

23 logic lambda-calculus semantics reflection

8

Czym naprawdę jest przypadkowość

Jestem studentem informatyki i obecnie zapisuję się na kurs Symulacji Systemów i Modelowania. Obejmuje to radzenie sobie z codziennymi systemami wokół nas i symulowanie ich w różnych scenariuszach przez generowanie liczb losowych w różnych krzywych dystrybucyjnych, takich jak na przykład IID, Gaussa itp. Pracowałem nad projektem boids i właśnie uderzyło …

23 randomness modelling

5

P-Kompletność i obliczenia równoległe

Niedawno czytałem o algorytmach sprawdzania podobieństwa i czytałem, że problem jest P-zupełny . Co więcej, konsekwencją tego jest to, że ten problem lub jakikolwiek problem P-zupełny prawdopodobnie nie będzie miał wydajnych algorytmów równoległych. Jaka jest intuicja stojąca za tym ostatnim stwierdzeniem?

23 complexity-theory parallel-computing