4592 search results - page 235 / 919 » Framework for Studying Substitution |
224
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
On script-generated web sites, many documents share common HTML tree structure, allowing wrappers to effectively extract information of interest. Of course, the scripts and thus ...
209
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Hardware manufacturers are increasingly outsourcing their IC fabrication work overseas due to much lower costs. This poses a significant security risk for ICs used for critical m...
231
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
213
click to vote
HICSS
2003
IEEE
16 years 17 days ago
2003
IEEE
Telemedicine is advocated for its potential to improve the accessibility and quality of health care delivery while lowering costs [1]. Although the potential benefits of telemedic...
251
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...