Sciweavers

1156 search results - page 141 / 232
» Compositional Methods for Information-Hiding
Sort
View
CVPR
2011
IEEE
13 years 4 months ago
High Level Describable Attributes for Predicting Aesthetics and Interestingness
With the rise in popularity of digital cameras, the amount of visual data available on the web is growing exponentially. Some of these pictures are extremely beautiful and aesthet...
Sagnik Dhar, Vicente Ordonez, Tamara Berg
ICPR
2006
IEEE
14 years 10 months ago
Synthesizing Reflections of Inserted Objects
The aim of reflection synthesis of inserted objects is to generate reflections which would be seen by the same camera capturing the target scene and be reflected by the true refle...
Hassan Foroosh, Xiaochun Cao
ICPR
2004
IEEE
14 years 10 months ago
Morphological Tagging Approach in Document Analysis of Invoices
In this paper a morphological tagging approach for document image invoice analysis is described. Tokens close by their morphology and confirmed in their location within different ...
Abdel Belaïd, Yolande Belaïd
ICML
2009
IEEE
14 years 9 months ago
Incorporating domain knowledge into topic modeling via Dirichlet Forest priors
Users of topic modeling methods often have knowledge about the composition of words that should have high or low probability in various topics. We incorporate such domain knowledg...
David Andrzejewski, Xiaojin Zhu, Mark Craven
CAV
2009
Springer
169views Hardware» more  CAV 2009»
14 years 9 months ago
Automatic Verification of Integer Array Programs
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
Filip Konecný, Marius Bozga, Peter Habermeh...