1497 search results - page 11 / 300 » A Computational Model for Message Passing |
CSL
2004
Springer
15 years 3 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
CSE
2008
IEEE
14 years 9 months ago
2008
IEEE
105
click to vote
BICA
2010
14 years 4 months ago
2010
Graphical cognitive architectures implement their functionality through localized message passing among computationally limited nodes. First-order variables
ICDCN
2009
Springer
15 years 4 months ago
2009
Springer
C5
2008
IEEE
15 years 4 months ago
2008
IEEE