756 search results - page 19 / 152 » Leveraging the CAPTCHA Problem |
FMCAD
2004
Springer
14 years 17 days ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
ICSR
2000
Springer
14 years 12 days ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
ICIA
2007
13 years 11 months ago
2007
Administrators frequently perform data integration “by hand” on the desktop as part of the execution of administrative tasks. This position paper discusses the application of ...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Answering queries using materialized views has been well studied in the context of structured queries and has shown significant performance benefits. Despite the popularity of keyw...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
We discuss Morpheus, a data transformation construction tool and associated repository. The architecture of Morpheus is motivated by the goal to reuse (pieces of) previously writt...