1034 search results - page 128 / 207 » Competitive generalized auctions |
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Statistical density estimation techniques are used in many computer vision applications such as object tracking, background subtraction, motion estimation and segmentation. The pa...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
Video coding algorithms based on 3-D wavelet transforms exist which have a competitive rate-distortion performance and are very fast because motion compensation is not needed. The...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents Fuzzy-UCS, a Michigan-style Learning Fuzzy-Classifier System designed for supervised learning tasks. Fuzzy-UCS combines the generalization capabilities of UCS...