254 search results - page 2 / 51 » A Behavioral Module System for the Pi-Calculus |
ICCAD
1994
IEEE
13 years 10 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
IJON
2002
13 years 6 months ago
2002
We show how our previously described system model of the primate neocortex can be extended to allow the modeling of problem-solving behaviors. Speci
LPAR
2005
Springer
13 years 11 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
ROBOCUP
2004
Springer
13 years 11 months ago
2004
Springer
The existing reinforcement learning approaches have been suffering from the policy alternation of others in multiagent dynamic environments such as RoboCup competitions since othe...
ICANN
2003
Springer
13 years 11 months ago
2003
Springer
Model based learning systems usually face to a problem of forgetting as a result of the incremental learning of new instances. Normally, the systems have to re-learn past instances...