1846 search results - page 318 / 370 » Generating query substitutions |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
FLAIRS
2008
13 years 10 months ago
2008
When a user is served with a ranked list of relevant documents by the standard document search engines, his search task is usually not over. He has to go through the entire docume...
USENIX
2007
13 years 10 months ago
2007
As the scope of personal data grows, it becomes increasingly difficult to find what we need when we need it. Desktop search tools provide a potential answer, but most existing too...
AVSS
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper presents the Visor (VIdeo Surveillance Online Repository) project designed with the aim of establishing an open platform for collecting, annotating, retrieving, sharing...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
Metasearch engines submit the user query to several underlying search engines and then merge their retrieved results to generate a single list that is more effective to the users&...