Sciweavers

32 search results - page 7 / 7
» lics 2003
Sort
View
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
13 years 9 months ago
A Circuit SAT Solver With Signal Correlation Guided Learning
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. H...
MICCAI
2003
Springer
14 years 5 months ago
Visualization of Neural DTI Vector Fields Using Line Integral Convolution
Abstract. Diffusion Tensor Imaging (DTI) provides voxel-wise information related to the local diffusion anisotropy. Recent research efforts have centered around the use of this inf...
Sean C. L. Deoni, B. K. Rutt, Terry M. Peters