Skip to main content

7 Result(s)

within Christian Schwarz Remove this filter Computer Science Remove this filter

and

  1. Article

    Open Access

    Alternating complexity of counting first-order logic for the subword order

    This paper considers the structure consisting of the set of all words over a given alphabet together with the subword relation, regular predicates, and constants for every word. We are interested in the counti...

    Dietrich Kuske, Christian Schwarz in Acta Informatica (2023)

    Download PDF (394 KB) View Article

  2. No Access

    Chapter and Conference Paper

    Accelerating Parallel Operation for Compacting Selected Elements on GPUs

    Compacting is a common and heavily used operation in different application areas like statistics, database systems, simulations and artificial intelligence. The task of this operation is to produce a smaller o...

    Johannes Fett, Urs Kober, Christian Schwarz… in Euro-Par 2022: Parallel Processing (2022)

  3. No Access

    Chapter and Conference Paper

    Statistische Parametersynthese für hybride Systeme

    Dieser Artikel behandelt das Parametersynthese-Problem für hybride Systeme. Für ein parametrisiertes Modell und eine Sicherheitsbedingung wird eine sichere Teilmenge einer potentiell unsicheren Parametermenge ...

    Christian Schwarz in Funktionale Sicherheit (2013)

  4. No Access

    Chapter and Conference Paper

    Towards Analytics-as-a-Service Using an In-Memory Column Database

    For traditional data warehouses, mostly large and expensive server and storage systems are used. For small- and medium size companies, it is often too expensive to implement and run such systems. Given this si...

    Jan Schaffner, Benjamin Eckart… in New Frontiers in Information and Software … (2011)

  5. No Access

    Chapter and Conference Paper

    HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata

    In previous works, Hierarchical Hybrid Automata (HHA) have been proposed as a combination of UML state machine diagrams and hybrid automata to model complex and in particular multi-agent systems. This approach...

    Ammar Mohammed, Christian Schwarz in KI 2009: Advances in Artificial Intelligence (2009)

  6. No Access

    Chapter and Conference Paper

    Generisches Verfahren zur präzisen Pfadverfolgung für Serienfahrzeuggespanne

    In Anbetracht der fortschreitenden Automatisierung im Güterverkehr ist auch der Einsatz von Serienfahrzeugen erstrebenswert. Aus wissenschaftlicher Sicht besteht diesbezüglich ein Bedarf an präzisen und echtze...

    Christian Schwarz, Christian Weyand, Dieter Zöbel in Autonome Mobile Systeme 2009 (2009)

  7. No Access

    Chapter and Conference Paper

    Static and dynamic algorithms for k-point clustering problems

    Amitava Datta, Hans-Peter Lenhof, Christian Schwarz… in Algorithms and Data Structures (1993)