980 search results - page 166 / 196 » Faster Possibility Detection by Combining Two Approaches |
155
click to vote
HICSS
2007
IEEE
16 years 10 days ago
2007
IEEE
One of the main contributions of classical mechanism design is the derivation of the Groves mechanisms. The class of Groves mechanisms are the only mechanisms that are strategy-pr...
184
click to vote
IROS
2007
IEEE
16 years 7 days ago
2007
IEEE
— One of the potential benefits of robotic systems in cardiac surgery is that their use can increase the number of possible off-pump (beating heart) coronary artery bypass graft...
153
click to vote
ATAL
2007
Springer
16 years 6 days ago
2007
Springer
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
149
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
142
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...