3557 search results - page 139 / 712 » The Dynamics of Mass Interaction |
ENTCS
2008
13 years 9 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
CPHYSICS
2006
13 years 9 months ago
2006
Progress in adapting molecular dynamics algorithms for systems with short-range interactions to utilize the features of modern supercomputers is described. Efficient utilization o...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
We present the bubble cursor ? a new target acquisition technique based on area cursors. The bubble cursor improves upon area cursors by dynamically resizing its activation area d...
ICMI
2009
Springer
14 years 3 months ago
2009
Springer
Robot autonomy is of high relevance for HRI, in particular for interactions of humans and robots in mixed human-robot teams. In this paper, we investigate empirically the extent t...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
Some of the most challenging applications to parallelize scalably are the ones that present a relatively small amount of computation per iteration. Multiple interacting performance...