We revisit the deterministic graphical games of Washburn. A deterministic graphical game can be described as a simple stochastic game (a notion due to Anne Condon), except that we allow arbitrary real payoffs but disallow moves of chance. We study the complexity of solving deterministic graphical games and obtain an almost-linear time comparison-based algorithm for computing an equilibrium of s...

This software is a simulator of security system developed with Java and providing a graphic interface built with Java Swing. This simulator is bound to be used to check an existing system or a system being currently devised. A security system is represented by a logigram. A logigram consists of events linked by rules. The rules stand for triggering links between the events. The simulator provid...

We present MTSeq, an application that combines GUI-driven multi-touch input technology with the CHR-based music generation system APOPCALEAPS and an advanced audio engine. This combination leads to an extended user experience and an intuitive, playful access to the CHR music generation system, and thus introduces CHR to musicians and other non-computer-scientists in an appropriate way. The appl...

The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams, such as detecting constraint contradictions and implications. In addition, the expressive, methodological, and graphical capabilities of ORM make it a good candidate for use as a graphical notation for most descripti...

party autonomy and parties freedom in choosing the governing law to non-contractual liabilities, when this litigation has accompanied with international elements , is one of the innovations european law during approval the rome ii regulationwhich facilitates the simultaneous and balanced access to certainty and flexibility as two conflicting interests , and is accordance withmost recent theorie...

ScrabbleTM-to-MIDI is a computer-emulated two dimensional board game that generates MIDI music from game rules and state as the game is played. Software modules include the board graphical user interface, rule engine and game state, a translator that maps game state to musical events, a second graphical user interface for manipulating translator configuration parameters, and a software synthesi...

Tools on using concept map for knowledge representation, ontology for domain rule generation and conversion from concept map to ontology are invented over recent years. Some focus on graphical representation, such as concept map, of domain knowledge for better user understanding, while others introduce rules that concept map fails to represent to extend the contents of generated ontology. To co...

Graph transformation systems support the formal modeling of dynamic, concurrent, and distributed systems. States are given by their graphical structure, and transitions are modeled by graph transformation rules. In this paper we investigate two kinds of reenement relations for graph transformation systems in order to support the development of a module concept for graph transformation systems. ...

Combined Negotiations are a novel and general type of negotiation, in which the user is interested in many goods or services and consequently engages in many negotiations at the same time. The negotiations are independent of each other, whereas the goods or services are typically interdependent. Using currently available technology for electronic negotiations, the user conducts each negotiation...

Using a cellular automata approach we create models of people movement within buildings. Simple, local update rules capturing the movement of individuals are shown to produce realistic behaviour of crowds, that is, collections of individuals. We demonstrate how distinct crowd behaviour at constriction points is characterised using different update rules. These distinct rules are produced in an ...