Sciweavers

2978 search results - page 237 / 596
» Swarms on Continuous Data
Sort
View
CONCUR
1991
Springer
15 years 10 months ago
Real Space Process Algebra
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
Jos C. M. Baeten, Jan A. Bergstra
DIAGRAMS
2008
Springer
15 years 8 months ago
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs
Research on effective algorithms for efficient graph layout continues apace, and faster technology has led to increasing research on algorithms for the depiction of dynamic graphs ...
Helen C. Purchase, Amanjit Samra
NIPS
2008
15 years 8 months ago
Load and Attentional Bayes
Selective attention is a most intensively studied psychological phenomenon, rife with theoretical suggestions and schisms. A critical idea is that of limited capacity, the allocat...
Peter Dayan
FORTE
2004
15 years 8 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
ICAD
2004
15 years 8 months ago
The Importance of Interaction in Sonification
This paper argues for a special focus on the use of dynamic human interaction to explore datasets while they are being transformed into sound. We describe why this is a special ca...
Andy Hunt, Thomas Hermann