Wyniki wyszukiwania dla: automata na drzewach

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

  Publikacja

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

  - Mathematica Slovaca - Rok 2006

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

  Pełny tekst do pobrania w serwisie zewnętrznym

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

  Publikacja

  • M. Lemańska

  - Australasian Journal of Combinatorics - Rok 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).

  Pełny tekst do pobrania w serwisie zewnętrznym

• Representing and appraising Toulmin model arguments in trust cases

  Publikacja

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

  - Rok 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.

  Pełny tekst do pobrania w portalu

• Complexity of weak acceptonic conditions in tree automata

  Publikacja

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

  - INFORMATION PROCESSING LETTERS - Rok 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.