410 search results - page 17 / 82 » Symbolic Representations and Analysis of Large Probabilistic... |
101
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper discusses the process of building an environment where large-scale, complex, scientific analysis can be scheduled onto a heterogeneous collection of computational and s...
109
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Towards the goal of realizing a generic automatichuman activity recognition system, a new formalism is proposed. Activities are described by a chained hierarchical representation ...
101
click to vote
IRI
2008
IEEE
15 years 3 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
164
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
110
click to vote
MMAS
2011
Springer
14 years 4 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...