A reduction method is used to analyze a spatially structured network model of inhibitory neurons. This network model displays wave propagation of postinhibitory rebound activity, w...
We present a virtual reality platform for developing and evaluating embodied models of cognitive development. The platform facilitates structuring of the learning agent, of its vi...
The public-key model for interactive proofs has proved to be quite effective in improving protocol efficiency [CGGM00]. We argue, however, that its soundness notion is more subtle...
: The emerging technology complex event processing can be utilized to integrate complex events into business processes and to flexibly adjust processes on changing business require...
Users require flexibility when interacting with information systems to contend with changing business processes, and to support diverse workflow. Model-based user interface design...