3271 search results - page 379 / 655 » Controlled Multicast Framework |
194
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
177
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
145
click to vote
ICONIP
2009
15 years 4 months ago
2009
Reinforcement learning induces non-stationarity at several levels. Adaptation to non-stationary environments is of course a desired feature of a fair RL algorithm. Yet, even if the...
254
click to vote
CCIA
2010
Springer
15 years 1 months ago
2010
Springer
The implementation of AI in commercial games is usually based on low level designs that makes the control predictable, unadaptive, and non reusable. Reorithms such as HTN or GOAP p...
170
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...