6020 search results - page 39 / 1204 » A New Approach to Model Counting |
105
Voted
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
Manifold Pursuit (MP) extends Principal Component Analysis to be invariant to a desired group of image-plane transformations of an ensemble of un-aligned images. We derive a simpl...
108
click to vote
ICML
2006
IEEE
16 years 2 months ago
2006
IEEE
We consider the problem of clustering in its most basic form where only a local metric on the data space is given. No parametric statistical model is assumed, and the number of cl...
118
Voted
IDA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we introduce a simple ant based algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear intege...
100
click to vote
IFIP
2000
Springer
15 years 5 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
114
click to vote
ICDE
2009
IEEE
15 years 8 months ago
2009
IEEE
— To explore the benefit of advertising instant and location-aware commercials that can not be effectively promoted by traditional medium like TV program and Internet, we propos...