Sciweavers

1382 search results - page 219 / 277
» Formal Analysis of Online Algorithms
Sort
View
EWCG
2000
15 years 7 months ago
Exploring an Unknown Cellular Environment
We investigate the exploration problem of a short-sighted mobile robot moving about in an unknown cellular room. In order to explore a cell, the robot must enter it. Once inside, ...
Christian Icking, Thomas Kamphans, Rolf Klein, Elm...
DASFAA
2008
IEEE
149views Database» more  DASFAA 2008»
15 years 7 months ago
A Test Paradigm for Detecting Changes in Transactional Data Streams
A pattern is considered useful if it can be used to help a person to achieve his goal. Mining data streams for useful patterns is important in many applications. However, data stre...
Willie Ng, Manoranjan Dash
JPDC
2008
100views more  JPDC 2008»
15 years 6 months ago
Data-stream-based global event monitoring using pairwise interactions
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
Punit Chandra, Ajay D. Kshemkalyani
SIGIR
2008
ACM
15 years 6 months ago
Optimizing relevance and revenue in ad search: a query substitution approach
The primary business model behind Web search is based on textual advertising, where contextually relevant ads are displayed alongside search results. We address the problem of sel...
Filip Radlinski, Andrei Z. Broder, Peter Ciccolo, ...
IPPS
2010
IEEE
15 years 4 months ago
Robust control-theoretic thermal balancing for server clusters
Thermal management is critical for clusters because of the increasing power consumption of modern processors, compact server architectures and growing server density in data center...
Yong Fu, Chenyang Lu, Hongan Wang