نتایج جستجو برای: inapplicability of existing graphical rules

تعداد نتایج: 21178284  

Journal: :J. Log. Comput. 2008
Daniel Andersson Kristoffer Arnsfelt Hansen Peter Bro Miltersen Troels Bjerre Lund

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...

2004
Kaninda Musumbu

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...

2010
Florian Geiselhart Frank Raiser Jon Sneyers Thom Frühwirth

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...

2007
Mustafa Jarrar M. Jarrar

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...

Journal: :حقوق خصوصی 0
نجاد الماسی استاد دانشکده حقوق و علوم سیاسی دانشگاه تهران مجید میرحسینی دانشجوی دکتری پردیس قم دانشگاه تهران

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...

2010
Dale Parson

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...

Journal: :JNW 2013
Junge Yao Ming Gu

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...

1998
Martin Große-Rhode Francesco Parisi-Presicce Marta Simeoni

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. ...

Journal: :Electronic Commerce Research 2001
Morad Benyoucef Hakim Alj Mathieu Vézeau Rudolf K. Keller

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...

2003
Timothy J. Lightfoot George J. Milne

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 ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید