Sciweavers

1088 search results - page 183 / 218
» A Bayesian Approach to Tackling Hard Computational Problems
Sort
View
ICCV
2003
IEEE
16 years 29 days ago
Adaptive Dynamic Range Imaging: Optical Control of Pixel Exposures Over Space and Time
This paper presents a new approach to imaging that significantly enhances the dynamic range of a camera. The key idea is to adapt the exposure of each pixel on the image detector,...
Shree K. Nayar, Vlad Branzoi
CIKM
2008
Springer
15 years 1 months ago
Modeling hidden topics on document manifold
Topic modeling has been a key problem for document analysis. One of the canonical approaches for topic modeling is Probabilistic Latent Semantic Indexing, which maximizes the join...
Deng Cai, Qiaozhu Mei, Jiawei Han, Chengxiang Zhai
CORR
2010
Springer
208views Education» more  CORR 2010»
14 years 11 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
WWW
2011
ACM
14 years 6 months ago
Limiting the spread of misinformation in social networks
In this work, we study the notion of competing campaigns in a social network. By modeling the spread of influence in the presence of competing campaigns, we provide necessary too...
Ceren Budak, Divyakant Agrawal, Amr El Abbadi
102
Voted
ICCS
2009
Springer
14 years 8 months ago
Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
Jean-Michel Contet, Franck Gechter, Pablo Gruer, A...