469 search results - page 30 / 94 » Process Algebras for Collective Dynamics |
CIKM
2005
Springer
15 years 5 months ago
2005
Springer
We examine issues in the design of fully dynamic information retrieval systems with support for instantaneous document insertions and deletions. We present one such system and dis...
101
click to vote
CADE
2008
Springer
16 years 4 days ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Time plays an essential role in the diffusion of information, influence and disease over networks. In many cases we only observe when a node copies information, makes a decision ...
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...
101
click to vote
KES
2004
Springer
15 years 5 months ago
2004
Springer
The ability to detect the existence of nonlinear dynamics may facilitate medical diagnostics for identifying, monitoring and predicting transitions from health to sickness. Detecti...