Sciweavers

5692 search results - page 145 / 1139
» Challenges and Unsolved Problems
Sort
View
129
Voted
FAC
2010
106views more  FAC 2010»
14 years 10 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
114
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Stochastic optimization based on the Laplace transform order with applications to precoder designs
Stochastic optimization arising from precoding in a multi-antenna fading channel with channel mean feedback to maximize data rates is important but challenging. The use of relayin...
Minhua Ding, Keith Q. T. Zhang
103
Voted
ICCV
2011
IEEE
14 years 25 days ago
Semantic Contours from Inverse Detectors
We study the challenging problem of localizing and classifying category-specific object contours in real world images. For this purpose, we present a simple yet effective method ...
Bharath Hariharan, Pablo Arbelaez, Lubomir Bourdev...
192
Voted
CVPR
2010
IEEE
13 years 10 months ago
Abrupt motion tracking via adaptive stochastic approximation Monte Carlo sampling
Robust tracking of abrupt motion is a challenging task in computer vision due to the large motion uncertainty. In this paper, we propose a stochastic approximation Monte Carlo (...
Xiuzhuang Zhou and Yao Lu
SDM
2012
SIAM
282views Data Mining» more  SDM 2012»
13 years 3 months ago
Citation Prediction in Heterogeneous Bibliographic Networks
To reveal information hiding in link space of bibliographical networks, link analysis has been studied from different perspectives in recent years. In this paper, we address a no...
Xiao Yu, Quanquan Gu, Mianwei Zhou, Jiawei Han