396 search results - page 19 / 80 » Generalizing Parametricity Using Information-flow |
IWMM
2010
Springer
13 years 11 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
STOC
1995
ACM
14 years 25 days ago
1995
ACM
We relate the sequence of minimum bases of a matroid with linearly varying weights to three problems from combinatorial geometry: k-sets, lower envelopes of line segments, and con...
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
Following the paradigm of encapsulation of side effects via monads, the Java execution mechanism has been described by the socalled Java monad, encorporating essentially stateful ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
We present an algorithm to compute a parametric description of the totally mixed Nash equilibria of a generic game in normal form with a fixed structure. Using this representatio...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper investigates the use of the Bayesian inference for devising an example-based rendering procedure. As prior model of this Bayesian inference, we exploit the multiscale n...