1087 search results - page 138 / 218 » Achieving Distributed Control through Model Checking |
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Fine-grained multithreading based on a natural model, such as dataflow model, is promising in achieving high efficiency and high programming productivity. In this paper, we disc...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Evolutionary models typically rely on a single level of evolution for training a team of cooperating agents. I present a model that evolves at two levels—an “organizational”...
ICRA
1994
IEEE
14 years 1 months ago
1994
IEEE
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
ACMSE
2007
ACM
14 years 1 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
AISADM
2005
Springer
14 years 2 months ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...