2025 search results - page 302 / 405 » Similar Term Discovery using Web Search |
HT
2009
ACM
14 years 2 months ago
2009
ACM
The Social Web is successfully established and poised for continued growth. Web 2.0 applications such as blogs, bookmarking, music, photo and video sharing systems are among the m...
LPAR
2012
Springer
12 years 3 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
TIP
2011
13 years 2 months ago
2011
Abstract—We have developed a new face hallucination framework termed from local pixel structure to global image super-resolution (LPS-GIS). Based on the assumption that two simil...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
Declarative data quality has been an active research topic. The fundamental principle behind a declarative approach to data quality is the use of declarative statements to realize...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
We introduce a new interactive system: a game that is fun and can be used to create valuable output. When people play the game they help determine the contents of images by provid...