8154 search results - page 365 / 1631 » Understanding changes in use cases: A case study |
186
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Much of the work done in the field of tangible interaction has focused on creating tools for learning; however, in many cases, little evidence has been provided that tangible inte...
202
Voted
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
189
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a comparative study on fusion of visual and thermal images using different wavelet transformations. Here, coefficients of discrete wavelet transforms from...
163
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
The detection of architectural distortions and abnormal structures in mammographic images can be based on the analysis of bilateral and temporal cases using image registration. Th...
156
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...