3514 search results - page 60 / 703 » A search space |
IIIX
2006
ACM
14 years 2 months ago
2006
ACM
In recent years there has been growing interest in faceted grouping of documents for Interactive Information Retrieval (IIR). It is suggested that faceted grouping can offer a fl...
HT
2007
ACM
14 years 24 days ago
2007
ACM
Finding relevant information in a hyperspace has been a much studied problem for many years. With the emergence of so called Web 2.0 technologies we have seen the use of social sy...
STTT
2008
13 years 8 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we consider the interaction between application programmers and tools that automatically search a space of application-level parameters that are believed to impact ...
ICALP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...