899 search results - page 128 / 180 » Cost Analysis of Games, Using Program Logic |
102
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Program call graph representation can be used to support many tasks in compiler optimization, program comprehension, and software maintenance. During software evolution, the call ...
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
120
click to vote
AAAI
2012
13 years 3 months ago
2012
In large extensive form games with imperfect information, Counterfactual Regret Minimization (CFR) is a popular, iterative algorithm for computing approximate Nash equilibria. Whi...
122
click to vote
ISQED
2011
IEEE
14 years 5 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
119
click to vote
UM
2005
Springer
15 years 7 months ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...