395 search results - page 5 / 79 » Towards a theory of search queries |
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we introduce a search engine, Dgoogle, designed for large scale P2P systems. Dgoogle is purely text-based, does not organize documents based on pre-defined keyw...
ICALP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
AAAI
2007
15 years 4 days ago
2007
This paper lays theoretical and software foundations for a World Wide Argument Web (WWAW): a large-scale Web of inter-connected arguments posted by individuals to express their op...
CIVR
2009
Springer
15 years 4 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
AAAI
2011
13 years 9 months ago
2011
Behind every search query is a high-level mission that the user wants to accomplish. While current search engines can often provide relevant information in response to well-speci...