2025 search results - page 250 / 405 » Theory as Game: Designing the Game Game |
160
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
167
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 28 days ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...
172
click to vote
CVPR
2009
IEEE
17 years 14 days ago
2009
IEEE
This paper presents a collaborative benchmark for region of interest (ROI) detection in images. ROI detection has many useful applications and many algorithms have been proposed...
128
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. We study the following problem in a sovereign informationsharing setting: How to ensure that the individual participants, driven solely by self-interest, will behave hone...
153
click to vote
BSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Exercise therapy is prescribed by physiotherapists and rehabilitation practitioners as part of the treatment programme for many movement impairment disorders. Poor adherence and in...