1045 search results - page 171 / 209 » Stepping into the Interactive Drama |
108
click to vote
ENTCS
2008
14 years 12 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
ENTCS
2007
14 years 11 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
112
click to vote
JUCS
2006
14 years 11 months ago
2006
: Telemedicine applications on a medical practitioner's mobile device should be context-aware. This can vastly improve the effectiveness of mobile applications and is a step t...
IJVR
2007
14 years 11 months ago
2007
—Interactive and realistic rendering of forest is a challenge due to a huge amount of tiny geometric detail. We present an approach to construct continuous level of detail (LOD) ...
JCC
2007
14 years 11 months ago
2007
: Proteins are flexible systems and commonly populate several functionally important states. To understand protein function, these states and their energies have to be identified...