4757 search results - page 163 / 952 » A Unique |
135
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we position the correct way of using graphical models for enhancing cyber security analysis in enterprise networks. Graphical models can be powerful in representati...
112
click to vote
CG
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
137
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
144
click to vote
ECCV
2000
Springer
15 years 8 months ago
2000
Springer
The critical configurations for projective reconstruction from three views are discussed. A set of cameras and points is said to be critical if the projected image points are insu...
132
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...