2604 search results - page 25 / 521 » Process Change Support Features |
101
click to vote
ATAL
2008
Springer
15 years 20 days ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
We show that Booth et al.'s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour thro...
113
click to vote
SCM
1998
15 years 14 hour ago
1998
Software Version Control Systems (VCSs) are used to store the versions of program source code created throughout the software development cycle. The traditional purpose of such sys...
ESANN
2004
15 years 2 days ago
2004
The role of dendritic spines in neuronal information processing is still not completely clear. However, it is known that spines can change shape rapidly during development and duri...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...