834 search results - page 159 / 167 » A Decomposition Technique for Max-CSP |
CIKM
2001
Springer
14 years 2 months ago
2001
Springer
Our current concern is a scalable infrastructure for information retrieval (IR) with up-to-date retrieval results in the presence of frequent, continuous updates. Timely processin...
IFIP
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents processing and visualization techniques for Diffusion Tensor Magnetic Resonance Imaging (DT-MRI). In DT-MRI, each voxel is assigned a tensor that describes loc...
PODC
1999
ACM
14 years 2 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
MICCAI
1999
Springer
14 years 2 months ago
1999
Springer
This paper1 describes image processing techniques for Diffusion Tensor Magnetic Resonance. In Diffusion Tensor MRI, a tensor describing local water diffusion is acquired for each v...
SIGMOD
1998
ACM
14 years 2 months ago
1998
ACM
Query optimization is an integral part of relational database management systems. One important task in query optimization is selectivity estimation, that is, given a query P, we ...