2488 search results - page 383 / 498 » An improvement in formal verification |
150
click to vote
HICSS
2003
IEEE
15 years 11 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...
176
click to vote
ICCV
2003
IEEE
15 years 11 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. ...
172
click to vote
ICDM
2003
IEEE
15 years 11 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 ...
166
click to vote
GI
2009
Springer
15 years 11 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...
150
click to vote
CRYPTO
2001
Springer
15 years 11 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...