3616 search results - page 404 / 724 » Conditional Memory Ordering |
158
click to vote
CAIP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. We suggest a novel approach to the Color Constancy Problem for multispectral imagery. Our approach is based on a dichromatic illumination model and lters out all spectral...
115
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
115
click to vote
ISSAC
1995
Springer
15 years 7 months ago
1995
Springer
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
104
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Many women find it difficult to maintain beautiful skin since different skincare approaches require different amounts of effort, time, and special knowledge. Women often ask exper...
124
click to vote
DLOG
2007
15 years 6 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...