1555 search results - page 256 / 311 » When the implication is not to design (technology) |
122
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Structured retrieval aims at exploiting the structural information of documents when searching for documents. Structured retrieval makes use of both content and structure of docum...
104
click to vote
MKM
2009
Springer
15 years 6 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
INDIASE
2009
ACM
15 years 6 months ago
2009
ACM
When trying to reverse engineer software, execution trace analysis is increasingly used. Though, by using this technique we are quickly faced with an enormous amount of data that ...
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
When attempting to annotate music, it is important to consider both acoustic content and social context. This paper explores techniques for collecting and combining multiple sourc...
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
The new concept proposed in this paper is a query free web search that automatically retrieves a web page including information related to the daily activity that we are currently...