2038 search results - page 336 / 408 » Probabilistic Agent Programs |
104
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
CD
2004
Springer
15 years 5 months ago
2004
Springer
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...
EUROGP
2004
Springer
15 years 5 months ago
2004
Springer
Internet based parallel genetic programming (GP) creates fractal patterns like Koch’s snow flake. Pfeiffer, http://www.cs.ucl.ac.uk /staff/W.Langdon/pfeiffer.html, by analogy w...
WETICE
2003
IEEE
15 years 5 months ago
2003
IEEE
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...