1371 search results - page 108 / 275 » A Model for Large Scale Self-Stabilization |
141
click to vote
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
149
click to vote
GISCIENCE
2004
Springer
15 years 9 months ago
2004
Springer
The spatial auto-regression (SAR) model is a popular spatial data analysis technique, which has been used in many applications with geo-spatial datasets. However, exact solutions f...
115
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, numerical calculation schemes of the buffer occupation probability for a buffer which is fed by a large number of independent and stationary sources are evaluate...
121
Voted
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
Here we present a scalable method to compute the structure of causal links over large scale dynamical systems that achieves high efficiency in discovering actual functional connec...
134
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...