1143 search results - page 55 / 229 » Mental models of recursion |
107
Voted
SIGGRAPH
1998
ACM
15 years 4 months ago
1998
ACM
Doo-Sabin and Catmull-Clark subdivision surfaces are based on the notion of repeated knot insertion of uniform tensor product B-spline surfaces. This paperdevelopsrules for non-un...
128
Voted
NIPS
2008
15 years 2 months ago
2008
Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchical ...
154
Voted
PAMI
2012
13 years 3 months ago
2012
— Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchi...
106
Voted
ENTCS
2006
15 years 17 days ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
93
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...