Wissenschaftliche LiteraturReduktionInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Klaus Spies
Transformationsbasierte temporallogische Programmierung
Forschungsergebnisse der Programmentwicklung
IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch vergangenheitsbezogene Operationen wie…
ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformationFrank Rabe
Schnelle Bilddatenkompression für Raumfahrtanwendungen
Forschungsergebnisse zur Informatik
Der Autor beschreibt ein spezialisiertes Verfahren zur Kompression der Bilddaten einer CCD-Kamera. Es wird bei der wissenschaftlichen Weltraummission Cassini zum Planeten Saturn eingesetzt (Start geplant für 1997). Sämtliche Darstellungen werden am Beispiel der DISR-Kamera der europäischen Cassini-Huygens-Probe zum Saturnmond Titan konkretisiert. Sowohl die…
BilddatenkompressionCodierungInformatikJoint Photographic Experts GroupJPEGRaumfahrtmissionRedundanzreduktionTransformationTransformationscodierungHäufige Schlagworte im Fachgebiet