Sciweavers

1668 search results - page 303 / 334
» Semantic search
Sort
View
ICDM
2010
IEEE
189views Data Mining» more  ICDM 2010»
14 years 7 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»
14 years 4 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
97
Voted
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 4 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»
14 years 7 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 1 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...