This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
Fabiano Borges Paulo, Marcelo Augusto Santos Turin...
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
When estimating the dense motion field of a video sequence, if little is known or assumed about the content, a limited constraint approach such as optical flow must be used. Since...
In recent years, the fields of Interactive Storytelling and Player Modelling have independently enjoyed increased interest in both academia and the computer games industry. The c...
David Thue, Vadim Bulitko, Marcia Spetch, Eric Was...
- Active development in the field of e-Learning has led to multiple organizations and specifications that try to provide some interoperability to systems, tools and learning conten...
Juan-Manuel de Blas, Luis de Marcos, Roberto Barch...