677 search results - page 122 / 136 » Dependent Types from Counterexamples |
134
click to vote
DATAMINE
2008
15 years 4 months ago
2008
Learning from imbalanced datasets presents a convoluted problem both from the modeling and cost standpoints. In particular, when a class is of great interest but occurs relatively...
142
Voted
CPHYSICS
2006
15 years 3 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
175
Voted
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. Multi-sampled imaging is a general framework for using pixels on an image detector to simultaneously sample multiple dimensions of imaging (space, time, spectrum, brightn...
140
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Minimizing power consumption is vitally important in embedded system design; power consumption determines battery lifespan. Ultralow-power designs may even permit embedded systems...
160
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
This paper considers the problem of identifying on the Web compound documents (cDocs) ? groups of web pages that in aggregate constitute semantically coherent information entities...