Als «reference-request» getaggte Fragen

Fragen, die Artikel in der Literatur zu bestimmten, engen Themen anfordern.

1
Gibt es ein veröffentlichtes Papier über automatisierte Planungssoftware, die in der ESA Rosetta-Mission verwendet wird?
Das Raumschiff Rosetta hat im August 2014 einen Kometen erreicht und einen Lander auf seine Oberfläche geschickt. Es war eine der größten wissenschaftlichen Nachrichten des Jahres. Automatisierte Planungs- und Planungstechniken sind für den Betrieb solcher Missionen sehr wichtig. Beim letzten ICAPS gab es sogar einen eingeladenen Vortrag von einem der …
2
Formalisierung der grundlegenden Kategorietheorie in Coq
Ich bin ein absoluter Anfänger in Coq und ich versuche, einige kategorietheoretische Dinge als Übung zu implementieren. Ich habe ein wenig unter den Git-Repos der vielen verfügbaren Implementierungen (HoTT, Awodeys Coq-Begleiter usw.) gesurft. Es scheint, dass jedes einzelne Projekt so etwas implementiert Record Category : Type := mkCategory{ ob : …
1
Bestimmen der minimalen Anzahl von Kanten, die hinzugefügt werden müssen, um 3-fach verbunden zu werden
Ein Graph wird als verbunden bezeichnet, wenn er keine Vertex-Schnittsätze hat (dh, mindestens drei Vertices müssen gelöscht werden, um den Graph zu trennen). Soweit ich weiß, ist es möglich festzustellen, ob ein einfacher Graph in O (n) -Zeit verbunden ist (Beispiel: http://www2.tu-ilmenau.de/combinatorial-optimization/Schmidt2012b.pdf ), aber Ich würde es nützlich finden, effizient …
3
Komplexität von Problemen bei der Verarbeitung natürlicher Sprache [geschlossen]
Geschlossen . Diese Frage muss fokussierter sein . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so, dass sie sich nur auf ein Problem konzentriert, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 5 Jahren . Welche Verarbeitungsprobleme in natürlicher Sprache sind NP-Complete oder …
2
Reduktionsbeispiele aus dem stark NPC-Problem 3-PARTITION
3-PARTITION ist stark NP-vollständig , dh es bleibt NP-vollständig, selbst wenn die Eingabe unär ist . Ich suche zwei oder drei Beispiele für (möglicherweise bekannte) nicht numerische Probleme , die sich mit einer Reduktion von 3-PARTITION als NP-vollständig erwiesen haben (und die Reduktion beruht offensichtlich auf der starken np-Vollständigkeit). Ich …
2
Automatisiertes Lippenlesen: Ableiten, was jemand sagt, basierend auf dem Video, in dem er spricht
Einige Menschen können ziemlich gut Lippen lesen: Indem sie jemanden beobachten, der spricht, können sie sagen, was der Sprecher sagt (auch ohne die Rede zu hören). Wurde daran gearbeitet, Computersoftware zum Lippenlesen zu erstellen? Mit anderen Worten, ist es bei einem Video von jemandem, der spricht, möglich, Software zu erstellen, …
1
Ideale Teilnehmerzahl zur Bewertung des Entwicklungsansatzes / der Softwarearchitektur
Für meine Diplomarbeit habe ich einen Entwicklungsansatz erstellt (bestehend aus Schemata, einer Anwendungsvorlage und Prototypcode), der die Entwicklung und Anpassung von Anwendungen für eine bestimmte Plattform erleichtern soll. Ich habe Interviews mit Entwicklern dieser Plattform geführt, um meinen Ansatz zu bewerten. Bisher gab es 5 Befragte, und das Feedback, das …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.