1144 search results - page 104 / 229 » Feasibility Studies |
119
Voted
DSS
2006
15 years 27 days ago
2006
There has been a tremendous growth in the amount of information and resources on the World Wide Web that are useful to researchers and practitioners in science domains. While the ...
117
click to vote
ICPR
2006
IEEE
16 years 2 months ago
2006
IEEE
Complete and accurate video tracking is very difficult to achieve in practice due to long occlusions, traffic clutter, shadows and appearance changes. In this paper, we study the ...
83
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Enterprise and web data processing and content aggregation systems often require extensive use of human-reviewed data (e.g. for training and monitoring machine learning-based appl...
120
Voted
SP
1998
IEEE
15 years 5 months ago
1998
IEEE
In developing secure applications and systems, the designers often must incorporate secure user identification in the design specification. In this paper, we study secure off-line...
116
click to vote
APN
2006
Springer
15 years 2 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...