Nie jesteś zalogowany | Zaloguj się

PL /
EN

Prelegent(ci): Jędrzej Fulara
Afiliacja: Uniwersytet Warszawski
Termin: 17 stycznia 2011 10:15
Pokój: p. 4790
Seminarium: Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

Przedstawię swoje prace nad dziedzinami do reprezentowania zawartości tablic. Zaprezentuję dwa rozwiązania:
 - wydajne, ale mało precyzyjne, oparte o dziedzinę przedziałową (wykorzystujące drzewa przedziałowe),
 - mniej wydajne, ale dokładniejsze, oparte o pentagony.