Wyszukiwarka projektów

• Słowa kluczowe: automatic program synthesis ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 3 projekty spełniających kryteria wyszukiwania:

1. 1. Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatyczne…

   Kierownik: Iwo Piotr Błądek

   Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

   Konkurs: PRELUDIUM 15, panel: ST6

2. 2. Automatyczna synteza modeli programowania matematycznego dla procesów biznesowych

   Kierownik: dr Tomasz Pawlak

   Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

   Konkurs: SONATA 12, panel: ST6

3. 3. Synteza poprzez aktywne uczenie się: teoria i zastosowania

   Kierownik: dr hab. Jan Otop

   Uniwersytet Wrocławski

   Konkurs: OPUS 27, panel: ST6