395 search results - page 5 / 79 » Towards a theory of search queries |
IPPS
2008
IEEE
14 years 2 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
13 years 7 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
13 years 10 months 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
14 years 2 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
12 years 7 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...