idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Erweiterte Suche ?
Home > Veranstaltung: Time-Frequency Logic For Signal Processing
Science Video Project
idw-Abo
idw-News App:

AppStore

Google Play Store

Veranstaltung

05.11.2012 - 05.11.2012 | Klagenfurt

Time-Frequency Logic For Signal Processing

In this talk he will first introduce Time-Frequency Logic (TFL), a new specication formalism for real-valued signals that combines temporal logic properties in the time domain with frequency-domain properties. He will then present a property checking framework for this formalism and demonstrate its ex- pressive power to the recognition of musical pieces. Like hybrid automata and their analysis techniques, the TFL formalism is a contribution to a unied systems theory for hybrid systems.

http://goo.gl/KhnAr

Hinweise zur Teilnahme:

Termin:

05.11.2012 14:00 - 15:30

Veranstaltungsort:

Lakeside Labs
B04b Level 1
Raum 1.1.114
9020 Klagenfurt
Kärnten
Österreich

Zielgruppe:

Wissenschaftler

E-Mail-Adresse:

philipp@lakeside-labs.com

Relevanz:

überregional

Sachgebiete:

Informationstechnik

Arten:

Vortrag / Kolloquium / Vorlesung

Eintrag:

19.10.2012

Absender:

Christian Philipp

Abteilung:

Presse- und Öffentlichkeitsarbeit

Lakeside Labs GmbH

Veranstaltung ist kostenlos:

ja

Textsprache:

Englisch

URL dieser Veranstaltung: http://idw-online.de/de/event41423

Anhang
attachment icon Einladung PDF

Hilfe

Die Suche / Erweiterte Suche im idw-Archiv
Verknüpfungen

Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

Klammern

Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

Wortgruppen

Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

Auswahlkriterien

Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).

Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).