2038 search results - page 96 / 408 » Probabilistic Agent Programs |
112
click to vote
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
106
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
104
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
121
Voted
ETAI
2000
15 years 2 months ago
2000
Stochastic logic programs combine ideas from probabilistic grammars with the expressive power of definite clause logic; as such they can be considered as an extension of probabili...
129
click to vote
MP
2007
15 years 2 months ago
2007
We present a probabilistic analysis of integer linear programs (ILPs). More specifically, we study ILPs in a so-called smoothed analysis in which it is assumed that first an adve...