Sciweavers

1668 search results - page 303 / 334
» Semantic search
Sort
View
ICDM
2010
IEEE
189views Data Mining» more  ICDM 2010»
15 years 4 months ago
S4: Distributed Stream Computing Platform
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...
Leonardo Neumeyer, Bruce Robbins, Anish Nair, Anan...
JAIR
2011
129views more  JAIR 2011»
15 years 1 months ago
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
Wei Li 0002, Pascal Poupart, Peter van Beek
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
CVPR
2011
IEEE
1838views Computer Vision» more  CVPR 2011»
15 years 4 months ago
Reconstructing an image from its local descriptors
This paper shows that an image can be approximately reconstructed based on the output of a blackbox local description software such as those classically used for image indexing. Ou...
Philippe Weinzaepfel, Hervé Jégou and Patrick Pe...
DBSOCIAL
2011
300views Database» more  DBSOCIAL 2011»
14 years 10 months ago
Boosting video popularity through recommendation systems
While search engines are the major sources of content discovery on online content providers and e-commerce sites, their capability is limited since textual descriptions cannot ful...
Renjie Zhou, Samamon Khemmarat, Lixin Gao, Huiqian...