863 search results - page 56 / 173 » The Light Bulb Problem |
100
Voted
JSYML
2000
15 years 2 months ago
2000
We consider a finite universe U (more exactly - a family U of them), second order quantifiers QK , where for each U this means quantifying over a family of n(K)-place relations clo...
113
Voted
SLOGICA
2010
15 years 29 days ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...
117
click to vote
NAACL
2010
15 years 14 days ago
2010
Extraction of entities from ad creatives is an important problem that can benefit many computational advertising tasks. Supervised and semi-supervised solutions rely on labeled da...
135
click to vote
ICC
2009
IEEE
15 years 10 days ago
2009
IEEE
Carrier Sense Multi-Access (CSMA) is a typical method to share the common channel in a Wireless LAN (WLAN). It works fairly well in times of light traffic. However as the number of...
119
Voted
ICCV
2009
IEEE
15 years 10 days ago
2009
IEEE
Underwater, natural illumination typically varies strongly temporally and spatially. The reason is that waves on the water surface refract light into the water in a spatiotemporal...