3007 search results - page 513 / 602 » Linear Functional Fixed-points |
NIPS
2000
15 years 2 months ago
2000
We present techniques for rendering and animation of realistic scenes by analyzing and training on short video sequences. This work extends the new paradigm for computer animation...
128
Voted
GRAPHICSINTERFACE
1996
15 years 2 months ago
1996
Evaluating and comparing the quality of surface interpolants is an important problem in computer graphics, computer aided geometric design and scienti c visualization. We introduc...
91
Voted
AAAI
1990
15 years 1 months ago
1990
: Tasks such as forecasting, diagnosis, and planning frequently require quantitative predictions . Typically, quantitative predictions are obtained by characterizing a system in te...
106
click to vote
LFP
1990
15 years 1 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
123
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...