3571 search results - page 379 / 715 » Cohen and Set Theory |
190
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
213
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
We consider the problem of finding optimal strategies in infinite extensive form games with incomplete information that are repeatedly played. This problem is still open in lite...
155
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Interdependent values (IDV) is a valuation model allowing bidders in an auction to express their value for the item(s) to sell as a function of the other bidders’ information. W...
188
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
172
click to vote
CAIP
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a novel shape recovery technique that combines photometric stereo with polarization information. First, a set of ambiguous surface normals are estimated from po...