5243 search results - page 272 / 1049 » Reasoning About Strategies |
205
click to vote
POPL
2012
ACM
14 years 2 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...
159
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Auctions are pervasive in today’s society and provide a variety of real markets. This article facilitates a strategic choice between a set of available trading strategies by int...
161
click to vote
CIG
2005
IEEE
16 years 10 days ago
2005
IEEE
— We study by computer simulation a population of individuals playing the prisoner’s dilemma game. Each player has an invariable strategy (cooperate or defect) but the network ...
171
click to vote
RTA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
193
click to vote
CGI
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a system to analyze the reachability of the human body. The inverse kinematics technique is employed to find which regions of space are reachable using a certa...