1382 search results - page 210 / 277 » Formal Analysis of Online Algorithms |
283
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Given a set of multi-dimensional points, the skyline contains the best points according to any preference function that is monotone on all axes. In practice, applications that req...
160
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we formally define the problem of topic modeling with network structure (TMN). We propose a novel solution to this problem, which regularizes a statistical topic mo...
190
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
Identifying information-rich subsets in high-dimensional spaces and representing them as order revealing patterns (or trends) is an important and challenging research problem in m...
165
click to vote
SFM
2007
Springer
16 years 12 days ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
157
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...