1445 search results - page 100 / 289 » Properties of state spaces and their applications |
203
click to vote
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
Hot spots are a major obstacle to achieving scalability in the Internet. At the application layer, hot spots are usually caused by either (a) high demand for some data or (b) high...
164
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
171
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Feature selection is a pattern recognition approach to choose important variables according to some criteria in order to distinguish or explain certain phenomena (i.e....
201
click to vote
SDM
2010
SIAM
15 years 4 months ago
2010
SIAM
Time series motif discovery is an important problem with applications in a variety of areas that range from telecommunications to medicine. Several algorithms have been proposed t...
143
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— In this paper, we study the tracking problem for Lur’e-type measure differential inclusions. The framework of measure differential inclusions allows us to describe systems wi...