589 search results - page 11 / 118 » Toward General Analysis of Recursive Probability Models |
112
Voted
QUESTA
2007
15 years 1 months ago
2007
We present the queueing analysis of a degenerate buffer having access to a single server. This system cannot realize any given delay, but only values that are an integer multiple ...
132
click to vote
FLAIRS
2006
15 years 3 months ago
2006
In real-life decision analysis, the probabilities and values of consequences are in general vague and imprecise. One way to model imprecise probabilities is to represent a probabi...
91
Voted
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper deals with several aspects towards a more objective performance analysis of low-level motion analysis. A generalized spatiotemporal filter formulation and motion modeli...
97
Voted
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
108
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...