22193 search results - page 3999 / 4439 » Multiple Restricted Multiplication |
147
Voted
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
144
click to vote
TRIDENTCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— Recent advances in networking include new bandwidth-intensive applications, sophisticated protocols that enable real-time data and multimedia delivery and aspects of network se...
164
Voted
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Diffusion Tensor Imaging (DTI) is an MRI-based technique for quantifying water diffusion in living tissue. In the white matter of the brain, water diffuses more rapidly along the ...
156
Voted
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
For the rendering of vector and tensor fields, several texturebased volumetric rendering methods were presented in recent years. While they have indisputable merits, the classica...
145
click to vote
WIRI
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent research in mining user access patterns for predicting Web page requests focuses only on consecutive sequential Web page accesses, i.e., pages which are accessed by followi...