1192 search results - page 10 / 239 » Symbolic Query Exploration |
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
ACL
2006
15 years 1 months ago
2006
A query speller is crucial to search engine in improving web search relevance. This paper describes novel methods for use of distributional similarity estimated from query logs in...
93
Voted
DKE
2007
14 years 11 months ago
2007
We introduce parameterized pattern queries as a new paradigm to extend traditional pattern expressions over sequence databases. A parameterized pattern is essentially a string mad...
106
Voted
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
82
Voted
SIGSOFT
2009
ACM
16 years 12 days ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...