Christof Löding - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 8 von 10

)

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.

[ ] 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, ...

Verwandte Suchanfragen zu Christof Löding

Jens Knoop
Thomas Colcombet
Wolfgang Thomas

Andreas Maletti
Peter Habermehl
Philipp Rohde

Aziz Abdulla
Markus Lohrey
Carsten Lutz

Person "Löding" (3)
Vorname "Christof" (6330)
Name "Löding" (139)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Christof Löding

24th EACSL Annual Conference on Computer Science Logic

[ ] Learning MSO-definable hypotheses on string

Compiler Construction: 24th International Conference, Cc ...

EPTCS 151: Automata and Formal Languages

Foundation of the Formal Sciences V: Abstracts