5255 search results - page 845 / 1051 » Formal Methods for Privacy |
155
click to vote
CVPR
2010
IEEE
16 years 4 days ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...
162
click to vote
ACSC
2005
IEEE
16 years 4 days ago
2005
IEEE
The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples ...
166
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
162
click to vote
ECBS
2005
IEEE
16 years 4 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
188
click to vote
ISPW
2005
IEEE
16 years 3 days ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...