851 search results - page 45 / 171 » History Effects and Verification |
SEDE
2007
15 years 1 months ago
2007
A Web-based business always wants to have the ability to track users’ browsing behavior history. This ability can be achieved by using Web log mining technologies. In this paper...
TCAD
2002
14 years 11 months ago
2002
As very large scale integration (VLSI) circuit speed rapidly increases, the inductive effects of interconnect lines strongly impact the signal integrity of a circuit. Since these i...
102
click to vote
ICTAC
2010
Springer
14 years 9 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
WSCG
2004
15 years 1 months ago
2004
Palmprint verification is an approach for verifying a palmprint input by matching the input to the claimed identity template stored in a database. If the dissimilarity measure bet...
102
click to vote
WWW
2004
ACM
16 years 15 days ago
2004
ACM
Existing commercial Web browsers provide various utilities and functions, e.g., Web bookmarks and a browsing history list. Since the bookmark and history functions only the title ...