1144 search results - page 104 / 229 » Feasibility Studies |
DSS
2006
13 years 10 months 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 ...
ICPR
2006
IEEE
14 years 11 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 ...
WWW
2007
ACM
14 years 10 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...
SP
1998
IEEE
14 years 2 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...
APN
2006
Springer
14 years 2 days 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...