For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
—With users increasingly focused on an online world, an emerging challenge for the network infrastructure is the need to support Massively Multiplayer Online Role Playing Games (...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
We address the issue of modelling facial expressions for realistic 3D avatar animation. We introduce a hierarchical decomposition of a human face into different components and mod...
Relational world models that can be learned from experience in stochastic domains have received significant attention recently. However, efficient planning using these models rema...