6274 search results - page 326 / 1255 » Proofs, Programs, Processes |
194
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
178
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Behavioural theory predicts that interventions that improving individual reviewers' expertise improves Software Development Technical Review group performance [3, p 6]. This ...
176
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
164
click to vote
CIDR
2009
15 years 7 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
170
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...