6740 search results - page 268 / 1348 » Using Classification as a Programming Language |
235
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
This tutorial presents an overview of the data management issues faced by computer games today. While many games do not use databases directly, they still have to process large am...
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined o...
120
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
109
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
134
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...