16257 search results - page 2956 / 3252 » D-finiteness: algorithms and applications |
171
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Customized semantic query answering, personalized search, focused crawlers and localized search engines frequently focus on ranking the pages contained within a subgrap...
197
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present SMART, a self-tuning, bandwidth-aware monitoring system that maximizes result precision of continuous aggregate queries over dynamic data streams. While prior approa...
194
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Intelligent desktop assistants could provide more help for users if they could learn models of the users’ workflows. However, discovering desktop workflows is difficult becau...
203
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
188
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
In the past decades, parallel I/O systems have been used widely to support scientific and commercial applications. New data centers today employ huge quantities of I/O systems, wh...