Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
METRIK-Vortragsreihe (Sommersemester 2008) - GRK-Wiki

METRIK-Vortragsreihe (Sommersemester 2008)

From GRK-Wiki

Jump to: navigation, search

Die METRIK-Vortragsreihe im Sommersemester 2008 ist eine Veranstaltung des Graduiertenkollegs METRIK, in der aktuelle Forschungsarbeiten und Technologien im Umfeld von METRIK präsentiert und diskutiert werden.



donnerstags, 15-17 Uhr (ab 15.5.)
Rudower Chaussee 25 (Johann von Neumann-Haus)
Haus III, Raum 3.001 (Großer Hörsaal)


20.06.2008, Scaling Computer Games to Epic Proportions

10-12 Uhr, Humboldt-Kabinett

Prof. Johannes Gehrke, Cornell University, Ithaka, NY

An important aspect of computer games is the artificial intelligence (AI) of non-player characters. To create interesting AI in games today, developers or players can create complex, dynamic behavior for a very small number of characters, but neither the game engines nor the style of AI programming enables intelligent behavior that scales to a very large number of non-player characters.

In this talk, I will present a first step towards truly scalable AI in computer games, by modeling game AI as a data management problem. The presentation includes a highly expressive scripting language SGL (for Scalable Gaming Language) that provides game designers and players with a data-driven AI scheme for customizing behavior for individual non-player characters. The use sophisticated query processing and indexing techniques allows us to efficiently execute large numbers of SGL scripts, thus providing a framework for games with a truly epic number of non-player characters. I will also talk about applications of this idea to steering and extensions to large-scale collaborations in virtual worlds.

19.06.2008, High-Speed Complex Event Processing

15-17 Uhr, Großer Hörsaal

Prof. Johannes Gehrke, Cornell University, Ithaka, NY

Recently there has been much research on Data Stream Management Systems (DSMS) to support analysis of high-speed data streams. Most of these systems have very expressive query languages in order to cover a wide range of applications like stock tickers, RSS feeds, transactions in retail chains, ATM and credit card operations in banks, Web server log records, and network monitoring.

We take a different approach. Instead of starting with a very powerful query language, we begin with publish-subscribe and add a few simple stateful operators arriving at an algebra for expressing stateful subscriptions. We complement the algebra with a transformation of algebra expressions into finite state automata and effective methods for sharing processing between queries.

In the talk, I will describe the algebra and its implementation in the Cayuga Complex Event Processing System.

!!! Neuer Termin und Ort !!!

13.06.2008, An Introduction to Hybrid Logics

10-12 Uhr, Fraunhofer Institut FIRST, Kekuléstraße 7, 12489 Berlin, Großer Hörsaal (D006)

Prof. Dr. Valentin Goranko, University of the Witwatersrand, Johannesburg

Hybrid logics are a familiy of modal logics that allow direct reference in the language to states (possible worlds) in the model, thus combining features of modal and first-order languages and boosting considerably the expressiveness of modal logic. On the other hand, many natural systems of hybrid logics retain the good computational properties from modal logics, and that makes them suitable formalisms for formal specification and reasoning in diverse areas such as: knowledge representation, description logics, ontology reasoning, semantic web, etc.

In this talk I will present an introduction to hybrid logics and will focus on some technical aspects of expressiveness, deductive systems, decision procedures, model checking. I will survey some of the more important results and will discuss potential connections with, and applications to, autonomous agents and self-organizing systems.

15.05.2008, Evolution challenges around XML and software languages

Prof. Dr. Ralf Lämmel, Universität Koblenz-Landau

XML is often mentioned as one of the principled, technological spaces in model-driven engineering as well as software language engineering. The talk operates in the XML space to describe the general field of software language engineering by means of a deep dive into XML-related challenges in software evolution. More specifically, we have a look at the myriad of modern programming models for XML; different APIs, type systems, and language extensions; as well as opportunities for mapping and transformation. The resulting "definition" of software language engineering is admittedly subjective and tentative.

Personal tools