6020 search results - page 789 / 1204 » A New Approach to Model Counting |
188
click to vote
SIGIR
2006
ACM
16 years 21 days ago
2006
ACM
Combining the output from multiple retrieval sources over the same document collection is of great importance to a number of retrieval tasks such as multimedia retrieval, web retr...
189
click to vote
CIBCB
2005
IEEE
16 years 11 days ago
2005
IEEE
— In this paper we address the problem of predicting gene activities by finding gene regulatory dependencies in experimental DNA microarray data. Only few approaches to infer th...
197
click to vote
WOSP
2005
ACM
16 years 9 days ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
314
click to vote
DAWAK
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper, we present a new approach to indexing multidimensional data that is particularly suitable for the efficient incremental processing of nearest neighbor quer...
138
click to vote
ICCSA
2005
Springer
16 years 8 days ago
2005
Springer
The paper presents a new approach for revealing regions (nuclei) of crystalline structures in computer models of dense packings of spherical atoms using the Voronoi-Delaunay method...