Sciweavers

784 search results - page 117 / 157
» Histogram-based search: A comparative study
Sort
View
WWW
2010
ACM
14 years 4 months ago
Keyword extraction for social snippets
Today, a huge amount of text is being generated for social purposes on social networking services on the Web. Unlike traditional documents, such text is usually extremely short an...
Zhenhui Li, Ding Zhou, Yun-Fang Juan, Jiawei Han
WWW
2010
ACM
14 years 4 months ago
Constructing travel itineraries from tagged geo-temporal breadcrumbs
Vacation planning is a frequent laborious task which requires skilled interaction with a multitude of resources. This paper develops an end-to-end approach for constructing intra-...
Munmun De Choudhury, Moran Feldman, Sihem Amer-Yah...
TACAS
2010
Springer
191views Algorithms» more  TACAS 2010»
14 years 4 months ago
Blocked Clause Elimination
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
Matti Järvisalo, Armin Biere, Marijn Heule
PAM
2010
Springer
14 years 4 months ago
Measuring and Evaluating TCP Splitting for Cloud Services
In this paper, we examine the benefits of split-TCP proxies, deployed in an operational world-wide network, for accelerating cloud services. We consider a fraction of a network co...
Abhinav Pathak, Angela Wang, Cheng Huang, Albert G...
INFOCOM
2009
IEEE
14 years 4 months ago
Opportunistic Processing and Query of Motion Trajectories in Wireless Sensor Networks
—We study the problem of in-network processing and queries of trajectories of moving targets in a sensor network. The main idea is to exploit the spatial coherence of target traj...
Dengpan Zhou, Jie Gao