867 search results - page 13 / 174 » On Two Forms of Structural Recursion |
118
click to vote
ICFP
2007
ACM
16 years 10 days ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
123
click to vote
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
In the 1980's, Bennett introduced computational depth as a formal measure of the amount of computational history that is evident in an object's structure. In particular,...
98
Voted
TLDI
2005
ACM
15 years 6 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
110
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
We describe a technique to simultaneously estimate a weighted, positive-definite multi-tensor fiber model and perform tractography. Existing techniques estimate the local fiber ori...
110
click to vote
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose a general two-dimensional hidden Markov model (2D-HMM), where dependency of the state transition probability on any state is allowed as long as causality...