idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Grafik: idw-Logo

idw - Informationsdienst
Wissenschaft

Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store

Event


11/05/2012 - 11/05/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

Information on participating / attending:

Date:

11/05/2012 14:00 - 11/05/2012 15:30

Event venue:

Lakeside Labs
B04b Level 1
Raum 1.1.114
9020 Klagenfurt
Carinthia
Austria

Target group:

Scientists and scholars

Relevance:

transregional, national

Subject areas:

Information technology

Types of events:

Presentation / colloquium / lecture

Entry:

10/19/2012

Sender/author:

Christian Philipp

Department:

Presse- und Öffentlichkeitsarbeit

Event is free:

yes

Language of the text:

English

URL of this event: http://idw-online.de/en/event41423

Attachment
attachment icon Einladung PDF

Help

Search / advanced search of the idw archives
Combination of search terms

You can combine search terms with and, or and/or not, e.g. Philo not logy.

Brackets

You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

Phrases

Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

Selection criteria

You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).

If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).