756 search results - page 19 / 152 » Leveraging the CAPTCHA Problem |
FMCAD
2004
Springer
15 years 5 months 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...
110
click to vote
ICSR
2000
Springer
15 years 5 months 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...
98
Voted
ICIA
2007
15 years 4 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 ...
216
click to vote
ICDE
2008
IEEE
16 years 3 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...
161
click to vote
SIGMOD
2006
ACM
16 years 1 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...