Search results for: automata na drzewach

• Lower bound on the distance k-domination number of a tree

  Publication

  • J. Raczek
  • M. Lemańska
  • J. Cyman

  - Mathematica Slovaca - Year 2006

  W artykule przedstawiono dolne ograniczenie na liczbę k-dominowania w drzewach oraz scharakteryzowano wszystkie grafy ekstremalne.

  Full text to download in external service

• Lower bound on the weakly connected domination number of a tree

  Publication

  • M. Lemańska

  - Australasian Journal of Combinatorics - Year 2007

  Praca dotyczy dolnego ograniczenia liczby dominowania słabo spójnego w drzewach (ograniczenie ze względu na ilość wierzchołków i ilość wierzchołków końcowych w drzewie).

  Full text available to download

• Representing and appraising Toulmin model arguments in trust cases

  Publication

  • J. Górski
  • Ł. Cyra
  • A. Jarzębowicz
  • J. Miler

  - Year 2008

  The paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.

  Full text available to download

• Complexity of weak acceptonic conditions in tree automata

  Publication

  • J. Neumann
  • A. Szepietowski
  • I. Walukiewicz

  - INFORMATION PROCESSING LETTERS - Year 2002

  Rozważano złożoność problemu pustości dla automatów na drzewach ze słabymi warunkami akceptowalności. Rozważano także translacje pomiędzy słabymi i silnymi warunkami akceptowalności.