2661 search results - page 529 / 533 » Quantum Complexity Classes |
73
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
IANDC
2011
14 years 5 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
JMLR
2011
14 years 5 months ago
2011
This paper1 presents novel algorithms and applications for a particular class of mixed-norm regularization based Multiple Kernel Learning (MKL) formulations. The formulations assu...
86
Voted
JMLR
2010
14 years 4 months ago
2010
A successful class of image denoising methods is based on Bayesian approaches working in wavelet representations. The performance of these methods improves when relations among th...
116
Voted
FGR
2011
IEEE
14 years 1 months ago
2011
IEEE
— Non-rigid object detection is a challenging open research problem in computer vision. It is a critical part in many applications such as image search, surveillance, humancomput...