5090 search results - page 70 / 1018 » Constructing Strategies for Programming |
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
Trans-reality role-playing games are conceived of as a form of role-playing game evolving from and integrating established table-top, live-action and computer-based role-playing f...
DAC
1996
ACM
14 years 1 months ago
1996
ACM
Deep sub-micron processing technologies have enabled the implementation of new application-specificembeddedarchitecturesthat integrate multiple software programmable processors (e...
IJCAI
2007
13 years 10 months ago
2007
This paper presents an algorithm for inferring a Structured Hidden Markov Model (S-HMM) from a set of sequences. The S-HMMs are a sub-class of the Hierarchical Hidden Markov Model...
SIGPLAN
2008
13 years 9 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...