9067 search results - page 798 / 1814 » Adaptive Model Checking |
224
click to vote
DASFAA
2005
IEEE
16 years 1 months ago
2005
IEEE
Finding bursts in data streams is attracting much attention in research community due to its broad applications. Existing burst detection methods suffer the problems that 1) the p...
216
click to vote
SIGECOM
2004
ACM
16 years 1 months ago
2004
ACM
We study a limited-supply online auction problem, in which an auctioneer has k goods to sell and bidders arrive and depart dynamically. We suppose that agent valuations are drawn ...
223
click to vote
IPPS
2002
IEEE
16 years 17 days ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
242
click to vote
ESWS
2010
Springer
16 years 13 days ago
2010
Springer
Abstract. This paper describes a real-time routing system that implements a mobile museum tour guide for providing personalized tours tailored to the user position inside the museu...
228
click to vote
MM
2009
ACM
16 years 9 days ago
2009
ACM
This paper presents an efficient, personalizable and yet completely automatic algorithm for enhancing the brightness, tonal balance, and contrast of faces in thumbnails of online...