1497 search results - page 11 / 300 » A Computational Model for Message Passing |
130
click to vote
CSL
2004
Springer
15 years 8 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,...
87
Voted
CSE
2008
IEEE
15 years 3 months ago
2008
IEEE
168
click to vote
BICA
2010
14 years 10 months ago
2010
Graphical cognitive architectures implement their functionality through localized message passing among computationally limited nodes. First-order variables
85
Voted
ICDCN
2009
Springer
15 years 10 months ago
2009
Springer
C5
2008
IEEE
15 years 10 months ago
2008
IEEE