SOFSEM 2007 Hotel Skl Harrachov R SOFSEM 2007

SOFSEM 2007 Hotel Sklář, Harrachov, ČR

SOFSEM 2007 n n Medzinárodná konferencia Téma: akt. trendy v informatike – teória a prax n n n Účastníci (~130) z n n n Teoretické základy Webové technológie Multiagentové systémy. . . Univerzít a výskumných inštitúcií IT spoločností Spoločenské akcie (návšteva sklární, sauna)

Hlavný program n Pozvané prednášky Hľadanie najkratšej cesty s predspracovaním n Grafy z dopytov do vyhľadávacích strojov n Distribuované systémy mobilných robotov n Problémy pri skupinovom rozhodovaní sa n. . . n n Vybrané príspevky n n Hybridné porovnávanie XML, . . . Student Research Forum n Modulárne neurónové siete, . . .

Point-to-point shortest path algorithms with preprocessing Andrew V. Goldberg (Microsoft research) n Problém spracovania veľkých grafov ~ cestné siete (milióny vrcholov) n Heuristiky na orezanie prehľadávaného priestoru n Použitie „landmarks“ a „reach-based“ prístupov n

Graphs from search engine queries Ricardo Baeza-Yates (Yahoo research) n Dolovanie z dopytov do vyhľadávacích strojov n Využitie používateľov na tagovanie položiek n „Social search“ n Integration of data sources Community systems n

Distributed models and algorithms for mobile robot systems David Peleg n Využitie veľkého množstva jednoduchých robotov na splnenie komplexných cieľov n n n Veľmi slabé požiadavky na robotov Problémy: Zhlukovanie n Delenie na skupiny n Pohyb v skupine n

Computational issues in group decision making Jerome Lang n Rôzne spôsoby hlasovania n Ako dosiahnuť optimálne výsledky? n Ako zabrániť manipulácii hlasovania? n Ako rozdeliť zdroje tak, aby n n to bolo férové? n nikto nikomu nezávidel?

Automatic testing of object-oriented software Bertrand Meyer n Opis softvéru pomocou „kontraktov“ a overenie ich splnenia n Precondition n Postcondition n Invariant n n Odhalenie chýb v špecifikácii (~50%) a v implementácii (~50%)

Fotky