Sciweavers

2324 search results - page 359 / 465
» A Fast Keyword-Spotting Technique
Sort
View
ICALP
2005
Springer
15 years 12 months ago
Optimal Spaced Seeds for Faster Approximate String Matching
Filtering is a standard technique for fast approximate string matching in practice. In filtering, a quick first step is used to rule out almost all positions of a text as possib...
Martin Farach-Colton, Gad M. Landau, Süleyman...
ICN
2005
Springer
15 years 12 months ago
Quality Adapted Backlight Scaling (QABS) for Video Streaming to Mobile Handheld Devices
Abstract. For a typical portable handheld device, the backlight accounts for a significant percentage of the total energy consumption (e.g., around 30% for a Compaq iPAQ 3650). Su...
Liang Cheng, Stefano Bossi, Shivajit Mohapatra, Ma...
LAMAS
2005
Springer
15 years 12 months ago
Multi-agent Relational Reinforcement Learning
In this paper we report on using a relational state space in multi-agent reinforcement learning. There is growing evidence in the Reinforcement Learning research community that a r...
Tom Croonenborghs, Karl Tuyls, Jan Ramon, Maurice ...
LPAR
2005
Springer
15 years 12 months ago
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti G...
PCM
2005
Springer
107views Multimedia» more  PCM 2005»
15 years 12 months ago
Auto-summarization of Multimedia Meeting Records Based on Accessing Log
Abstract. Computer techniques have been leveraged to record human experiences in many public spaces, e.g. meeting rooms and classrooms. For the large amount of such records produce...
Weisheng He, Yuanchun Shi, Xin Xiao