Sciweavers

321 search results - page 10 / 65
» The situation manager rule language
Sort
View
LDTA
2010
13 years 9 months ago
Embedding a web-based workflow management system in a functional language
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. ...
CAISE
2006
Springer
14 years 18 days ago
A Formalisation of the Soccer Substitution Rules
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
Yves Ledru
TIME
2009
IEEE
14 years 3 months ago
Strong Temporal, Weak Spatial Logic for Rule Based Filters
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
Roger Villemaire, Sylvain Hallé
IVA
2005
Springer
14 years 2 months ago
Teaching Virtual Characters How to Use Body Language
Abstract. Non-verbal communication, or “body language”, is a critical component in constructing believable virtual characters. Most often, body language is implemented by a set...
Doron A. Friedman, Marco Gillies
COGSR
2011
105views more  COGSR 2011»
13 years 3 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann