18016 search results - page 3250 / 3604 » Data Mining - Concepts and Techniques |
153
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
178
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
272
click to vote
CGI
2009
IEEE
15 years 10 months ago
2009
IEEE
We present an approach to automatically register a large set of color images to a 3D geometric model. The problem arises from the modeling of real-world environments, where surfac...
178
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
Estimation of development effort without imposing overhead on the project and the development team is of paramount importance for any software company. This study proposes a new e...
152
click to vote
EXPCS
2007
15 years 10 months ago
2007
Measuring the indirect cost of context switch is a challenging problem. In this paper, we show our results of experimentally quantifying the indirect cost of context switch using ...