524 search results - page 94 / 105 » Temporal reachability graphs |
90
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— Fault diagnosis of coupled mobile robots requires a large number of measurements to be communicated either between the robots or from the robots to a central diagnoser. As comp...
115
click to vote
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
83
Voted
MSR
2005
ACM
15 years 6 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
108
click to vote
NN
1997
Springer
15 years 4 months ago
1997
Springer
Bayesian networks are directed acyclic graphs that represent dependencies between variables in a probabilistic model. Many time series models, including the hidden Markov models (H...
111
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Given the increasing dependence of our societies on networked information systems, the overall security of these systems should be measured and improved. Existing security metrics...