Christof Löding und Martin - Info zur Person

(1 - 14 von 16

)

Seminar Aktuelle Themen der Theoretischen Informatik im SoSe 2018

www2.informatik.hu-berlin.de

Literatur: Martin Grohe, Christof Löding, Martin Ritzert: "Learning MSO-definable hypotheses on strings". In Proc. ALT 2017, pp LINK. Eine etwas ausführlichere Vorabversion findet sich hier: LINK. 1 Vortrag zum Thema Überdeckungen von Anfrageergebnissen: Kompakte Repräsentationen von Anfrageergebnissen für Join-Anfragen.

Martin Zimmermann

www.react.uni-saarland.de

Alexander Weinert and Martin Zimmermann, CSL Joint work with Wladimir Fridman and Christof Löding, CSL Optimal Bounds in Parametric LTL Games

People

people.na.infn.it

People. Orna Kupferman Moshe Y. Vardi Carsten Lutz Rajeev Alur Thomas Henzinger Martin Lange Christof Löding Nir Piterman Wolfgang Thomas Amir Pnueli

[ ] Learning MSO-definable hypotheses on string

arxiv.org

Authors: Martin Grohe, Christof Löding, Martin Ritzert. (Submitted on 27 Aug 2017). Abstract: We study the classification problems over string data for hypotheses specified by formulas of monadic second-order logic MSO. The goal is to design learning algorithms that run in time polynomial in the size of the training set, ...

24th EACSL Annual Conference on Computer Science Logic

logic.las.tu-berlin.de

Lukasz Kaiser, Martin Lang, Simon Leßenich and Christof Löding. Abstract In the past years, extensions of monadic second-order logic (MSO) that can specify boundedness properties by the use of operators referring to the sizes of sets have been considered.

Participants for AlMoTh 2011, Leipzig - Institut für Informatik der Uni ...

www.informatik.uni-leipzig.de

... Berlin; Philipp Klaus Krause, Frankfurt; Dietrich Kuske, Ilmenau; Martin Lange, Kassel; Christof Löding; Markus Lohrey, Leipzig; Katja Losemann, Dortmund ...

24th EACSL Annual Conference on Computer Science Logic

logic.las.tu-berlin.de

Lukasz Kaiser, Martin Lang, Simon Leßenich and Christof Löding. A Model Checking Procedure for Interval Temporal Logics based on Track Representatives Alberto …

Google Groups: Nochmal Lehramt

: Martin Habbecke ... dsal08-rwth Hallo, ich habe

[FOM] CSL st Call for Papers - NYU Computer Science

cs.nyu.edu

Jan 5, — ... co-chair) Azadeh Farzan (Toronto) Georg Gottlob (Oxford) Martin Hofmann (Munich) Orna Kupferman (Jerusalem) Christof Loeding (Aachen) ... › pipermail › fom › January

AFL'11 Call for Papers

www.nyf.hu

Olivier Carton (Paris) Erzsébet Csuhaj-Varjú (Budapest) Jürgen Dassow (Magdeburg) Pál Dömösi (Debrecen, Nyíregyháza) chair. Manfred Droste (Leipzig) Zoltán Ésik (Szeged) Zoltán Fülöp (Szeged) Ferenc Gécseg (Szeged) Werner Kuich (Wien) Martin Kutrib (Giessen) Alexander Meduna (Brno) Christof Löding (Aachen)