1296 search results - page 42 / 260 » Searching with context |
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
NIPS
1996
13 years 11 months ago
1996
In the square linear blind source separation problem, one must nd a linear unmixing operator which can detangle the result xi(t) of mixing n unknown independent sources si(t) thro...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper we consider the problem of query and search in a network, e.g., searching for a specific node or a piece of data. We limit our attention to the class of TTL (tim...
IPM
2008
13 years 10 months ago
2008
The presentation of search results on the web has been dominated by the textual form of document representation. On the other hand, the document's visual aspects such as the ...
SIGIR
2002
ACM
13 years 9 months ago
2002
ACM
asks abstracted from observation of typical search tasks performed by 48 participants using a modified Google interface. Kelly and Belkin defined context of search more broadly tha...