5624 search results - page 651 / 1125 » On Conditional Covering Problem |
162
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
154
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
In this paper, we present a new approach to producing photorealistic computer renderings of real architectural scenes under novel lighting conditions, such as at different times o...
185
click to vote
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
Outdoor imaging is plagued by poor visibility conditions due to atmospheric scattering, particularly in haze. A major problem is spatially-varying reduction of contrast by stray r...
181
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
245
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
Understanding and modifying the effects of arbitrary illumination on human faces in a realistic manner is a challenging problem both for face synthesis and recognition. Recent res...