561 search results - page 91 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
99
Voted
ACOM
2004
Springer
15 years 5 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
116
click to vote
AAAI
2007
15 years 4 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
112
click to vote
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
Real-world relational data are seldom stationary, yet traditional collaborative filtering algorithms generally rely on this assumption. Motivated by our sales prediction problem, ...
123
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Decentralized reinforcement learning (DRL) has been applied to a number of distributed applications. However, one of the main challenges faced by DRL is its convergence. Previous ...
126
Voted
APCCM
2009
15 years 3 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...