2488 search results - page 383 / 498 » An improvement in formal verification |
103
click to vote
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
117
click to vote
ICCV
2003
IEEE
15 years 6 months ago
2003
IEEE
We address three crucial issues encountered in DT-MRI (Diffusion Tensor Magnetic Resonance Imaging) : diffusion tensor Estimation, Regularization and fiber bundle Visualization. ...
110
click to vote
ICDM
2003
IEEE
15 years 6 months ago
2003
IEEE
Learning Bayesian network structure from large-scale data sets, without any expertspecified ordering of variables, remains a difficult problem. We propose systematic improvements ...
114
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
: The support of smart interaction in ubiquitous computing is among the core criteria to achieve user acceptance and thus business success. We describe an architectural framework u...
CRYPTO
2001
Springer
15 years 6 months ago
2001
Springer
Recently Victor Shoup noted that there is a gap in the widely-believed security result of OAEP against adaptive chosen-ciphertext attacks. Moreover, he showed that, presumably, OA...