904 search results - page 111 / 181 » Game Theory |
103
Voted
ENTCS
2010
15 years 1 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
89
Voted
CSL
2002
Springer
15 years 27 days ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
140
Voted
3DIM
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—During the last few years a wide range of algorithms and devices have been made available to easily acquire range images. To this extent, the increasing abundance of dep...
95
Voted
SODA
2000
ACM
15 years 2 months ago
2000
ACM
The location of facilities in order to provide service for customers is a well-studied problem in the operations research literature. In the basic model, there is a predefined cos...
IE
2007
15 years 2 months ago
2007
The ludic experience of exploring wilderness in gameworlds may be compromised by either the negative affects of disorientation or the conspicuous application of architectural prin...