Auflistung nach Schlagwort "Parameterization"

Sortiert nach: Sortierung: Ergebnisse:

  • Backdoors for linear temporal logic 
    Meier, Arne; Ordyniak, Sebastian; Sridharan, Ramanujan; Schindler, Irena (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017)
    In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized ...
  • Self-adjusting process monitoring system in series production 
    Denkena, Berend; Dahlmann, Dominik; Damm, J. (Amsterdam : Elsevier, 2015)
    Modern monitoring systems in machine tools are able to detect process errors promptly. Still, the application of monitoring systems is restricted by the complexity of parameterization for save monitoring. In most cases, ...
  • User-Specific Parameterization of Process Monitoring Systems 
    Denkena, B.; Klemme, H.; Becker, J.; Blech, H. (Berlin, Heidelberg : Springer, 2022)
    Errors in milling processes such as tool breakage or material inhomogeneities are a major risk to the quality of machined workpieces. Errors like a broken tool may also lead to damages to the machine tool. Process monitoring ...