Pierwsze warsztaty nt. wnioskowania z ograniczeniami i struktur graficznych, St Andrews, Wlk. Brytania :: Wydarzenia / Polski Serwis Naukowy

Polecamy również:

Dziewiąte międzynarodowe warsztaty nt. modelowania z ograniczeniami i reformułowania, St Andrews, Wlk. Brytania

Optyczne rozwiązania problemów biomedycznych, Marsylia, Francja

Pierwsze międzynarodowe warsztaty nt. antropocentrycznego wnioskowania na podstawie przypadków, Greenwich, Wlk. Brytania

Podkreślenie roli innowacji w rozwiązywaniu problemów przyszłości

Pierwsza międzynarodowa konferencja i wystawa nt. odpadów - rozwiązania, sposoby utylizacji i możliwości, Guimaraes, Portugalia

Warsztaty nt. zautomatyzowanego wnioskowania o kontekście i ewolucji ontologii, Barcelona, Hiszpania

W dniach 6-10 września 2010 r. w St Andrews, Wlk. Brytania, odbędą się pierwsze warsztaty nt. wnioskowania z ograniczeniami i struktur graficznych.

Główny nacisk zostanie położony na wykorzystanie metodologii graficznych do aktywowania właściwości strukturalnych modeli ograniczonych wykorzystywanych w szerokim spektrum zadań. Mogą one obejmować propagację ograniczeń, liczenie rozwiązań, wnioskowanie z miękkimi ograniczeniami i preferencjami, interferencję w niepewności i konfigurację.

Struktury graficzne przyczyniły się do rozwiązania wielu problemów trudnych pod względem obliczeniowym. Dotyczy to zwłaszcza problemów związanych ze wspomaganiem procesów decyzyjnych. Na przykład kwestie probabilistycznego wnioskowania czy konfiguracji zostały rozwiązane poprzez kompilację modeli w odwzorowania graficzne wydajne obliczeniowo.

Te same struktury graficzne znajdują coraz szersze zastosowanie w klasycznym kontekście programowania z ograniczeniami, tj. do poprawiania wydajności wyszukiwania dopuszczalnych czy też optymalnych rozwiązań.

Warsztaty odbędą się w tym samym miejscu i czasie, co międzynarodowa konferencja nt. zasad i praktyki programowania z ograniczeniami.

Za: CORDIS

komentuj publikację

Czy wiesz że...?

wersja BETA

Trylemat (z gr.: - trzy, - przesłanka) - w logice tradycyjnej oznaczający schemat wnioskowania, w którym obok trzech zdań warunkowych występuje czwarte zdanie jako alternatywnie trójczłonowe: pełny tekst

Hrabstwo Andrews (Teksas) (ang. Andrews County) hrabstwo w USA w stanie Teksas. W roku 2000 miało 13 004 mieszkańców. Stolicą hrabstwa jest miasto o takiej samej nazwie. Andrews zostało utworzone w 1875 z hrabstwa Bexar i nazwane tak w imieniu Richarda Andrewsa, który był żołnierzem w czasie Rewolucji Teksaskiej. Hrabstwo Andrews jest jednym z 46 hrabstw w Teksasie, gdzie obowiązuje całkowita prohibicja. pełny tekst

Schemat wnioskowania, schemat inferencyjny - układ wyrażeń powstający z wnioskowania przez zastąpienie w nim przesłanek i wniosku zmiennymi zdaniowymi. Schemat wnioskowania można zdefiniować ściślej jako parę uporządkowaną o postaci <X, B>, gdzie X jest dwolonym niepustym i skończonym zbiorem formuł zdaniowych, a B formułą zdaniową. Elementy zbioru X nazywamy schematami przesłanek, a formułę zdaniową B schematem wniosku. pełny tekst

Boogie Woogie Bugle Boy amerykańska piosenka z czasów II wojny światowej opowiadająca o wirtuozie trąbki wcielonym do armii. Wielki hit grupy wokalnej The Andrews Sisters. pełny tekst

Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".