491 search results - page 5 / 99 » Characterization of a metastability measurement system |
158
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
174
click to vote
HPDC
2006
IEEE
16 years 20 days ago
2006
IEEE
Desktop grid (DG) systems use the idle computing power of many volunteered desktop PC’s on the Internet to support large-scale computation and storage. For over a decade, DG sys...
173
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...
166
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
Effective overlap of computation and communication is a well understood technique for latency hiding and can yield significant performance gains for applications on high-end compu...
177
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
A completely automatic face recognition system is presented. The method works on color and gray level images: after having localized the face and the facial features, it determines...