1249 search results - page 240 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
147
click to vote
DIGRA
2005
Springer
15 years 11 months ago
2005
Springer
Although emotions elicited by the fictional world or the artefact play a part in story-driven video games, they are certainly not the focus of the experience. From a cognitive psy...
149
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
— Packet buffers in router/switch interfaces constitute a central element of packet networks. The appropriate sizing of these buffers is an important and open research problem. M...
143
click to vote
EMSOFT
2007
Springer
16 years 5 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
177
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
163
click to vote
MICCAI
2002
Springer
16 years 6 months ago
2002
Springer
Most existing methods for registration of three-dimensional tomographic images to two-dimensional projection images use simulated projection images and either intensity-based or fe...