899 search results - page 34 / 180 » Cost Analysis of Games, Using Program Logic |
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents an approach to analyse the behaviours of teams of autonomous agents who work together to achieve a common goal. The agents in a team are evolved together using...
118
click to vote
CC
2012
Springer
13 years 7 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
108
click to vote
ICML
2003
IEEE
16 years 18 days ago
2003
IEEE
Convex programming involves a convex set F Rn and a convex cost function c : F R. The goal of convex programming is to find a point in F which minimizes c. In online convex prog...
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
108
click to vote
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper we recast the formalism of argumentation formalism known as DeLP (Defeasible Logic Programming) in game-theoretic terms. By considering a game between a Pro...