Sciweavers

11063 search results - page 1807 / 2213
» On the existence of universal models
Sort
View
SAT
2009
Springer
91views Hardware» more  SAT 2009»
16 years 1 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
SSD
2009
Springer
141views Database» more  SSD 2009»
16 years 1 months ago
Spatial Cloaking Revisited: Distinguishing Information Leakage from Anonymity
Abstract. Location-based services (LBS) are receiving increasing popularity as they provide convenience to mobile users with on-demand information. The use of these services, howev...
Kar Way Tan, Yimin Lin, Kyriakos Mouratidis
CHIMIT
2009
ACM
16 years 1 months ago
Scripting practices in complex systems management
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
Eser Kandogan, Paul P. Maglio, Eben M. Haber, John...
DEBS
2009
ACM
16 years 1 months ago
Processing publish/subscribe queries over distributed data streams
We address the problem of processing continuous multi-join queries, over distributed data streams, making use of existing work in the field of publish/subscribe systems. We show ...
Oana Jurca, Sebastian Michel, Alexandre Herrmann, ...
MM
2009
ACM
177views Multimedia» more  MM 2009»
16 years 1 months ago
Perceptual quality assessment based on visual attention analysis
Most existing quality metrics do not take the human attention analysis into account. Attention to particular objects or regions is an important attribute of human vision and perce...
Junyong You, Andrew Perkis, Miska M. Hannuksela, M...
« Prev « First page 1807 / 2213 Last » Next »