11063 search results - page 184 / 2213 » On the existence of universal models |
170
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
163
click to vote
JOLLI
2002
15 years 6 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
229
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Automated detection of lesions in retinal images can assist
in early diagnosis and screening of a common disease:
Diabetic Retinopathy. A robust and computationally
efficient ap...
166
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper estimates illumination colors by using only a
single surface color taken under multiple illumination colors.
Past researchers have found that there is a difficulty in
...
141
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
In many settings the power of truthful mechanisms is severely bounded. In this paper we use randomization to overcome this problem. In particular, we construct an FPTAS for multi-...