1382 search results - page 34 / 277 » Formal Analysis of Online Algorithms |
128
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The running maximum-minimum (MAX-MIN) filter computes the maxima and minima over running windows of size w. This filter has numerous applications in signal processing and time seri...
206
click to vote
IHI
2010
15 years 17 days ago
2010
With the continued advances of Web 2.0, health-centered Online Social Networks (OSNs) are emerging to provide knowledge and support for those interested in managing their own heal...
168
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
169
click to vote
DASFAA
2005
IEEE
15 years 11 months ago
2005
IEEE
Formal concept analysis has become an active field of study for data analysis and knowledge discovery. A formal concept C is determined by its extent (the set of objects that fall...
151
click to vote
EDBT
2010
ACM
16 years 17 days ago
2010
ACM
This paper addresses a fundamental and challenging problem with broad applications: efficient processing of region-based promotion queries, i.e., to discover the top-k most inter...