4595 search results - page 302 / 919 » Reasoning about Plans |
197
Voted
FDG
2009
ACM
16 years 2 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
229
Voted
POPL
2012
ACM
14 years 3 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
177
Voted
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
In this research, we propose CAD data mining technique to obtain semantic elements without prior knowledge about plans being designed. Our method consists of two steps. The first ...
206
click to vote
ICNC
2009
Springer
16 years 2 months ago
2009
Springer
A model-free, biologically-motivated learning and control algorithm called S-learning is described as implemented in an Surveyor SRV-1 mobile robot. S-learning demonstrated learni...
242
click to vote
METRICS
2005
IEEE
16 years 1 months ago
2005
IEEE
Many phenomena related to software development are qualitative in nature. Relevant measures of such phenomena are often collected using semi-structured interviews. Such interviews...