In this paper we describe the graphical realization and authoring of a semi-autonomous animated persona, called a Digital Puppet. Digital Puppets augment on-line educational materi...
Erin Shaw, Catherine LaBore, Yuan-Chun Chiu, W. Le...
Natural language technologies have been long envisioned to play a crucial role in transitioning from the current Web to a more "semantic" Web. If anything, the significa...
Peter Mika, Massimiliano Ciaramita, Hugo Zaragoza,...
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
: Business process modeling and design, as an essential part of business process management, has gained much attention in recent years. An important tool for this purpose is refere...