271 search results - page 15 / 55 » Comparison of two interactive search refinement techniques |
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
INFSOF
2006
14 years 11 months ago
2006
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
OSDI
1996
ACM
15 years 1 months ago
1996
ACM
High-performance I/O systems depend on prefetching and caching in order to deliver good performance to applications. These two techniques have generally been considered in isolati...
INFOVIS
2000
IEEE
15 years 4 months ago
2000
IEEE
COMIND is a tool for conceptual design of industrial products. It helps designers define and evaluate the initial design space by using search algorithms to generate sets of feasi...
BMCBI
2006
14 years 11 months ago
2006
Background: The increasing availability of time-series expression data opens up new possibilities to study functional linkages of genes. Present methods used to infer functional l...