2863 search results - page 117 / 573 » Computer modelling and natural phenomena |
86
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
108
Voted
ICDM
2008
IEEE
15 years 7 months ago
2008
IEEE
Since Jim Gray introduced the concept of ”data cube” in 1997, data cube, associated with online analytical processing (OLAP), has become a driving engine in data warehouse ind...
132
click to vote
SIGMETRICS
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
116
click to vote
ISIPTA
2003
IEEE
15 years 6 months ago
2003
IEEE
We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objecti...
139
click to vote
MMAS
2011
Springer
14 years 7 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...