1143 search results - page 95 / 229 » Mental models of recursion |
77
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
VVS
1998
IEEE
15 years 4 months ago
1998
IEEE
Isosurfaces are an important tool for finding features in 3D scalar data. This paper describes how recursive contour meshing is applied to extract similar features in 4-dimensiona...
104
click to vote
FCT
2007
Springer
15 years 4 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
101
Voted
ESANN
2004
15 years 2 months ago
2004
Standard pattern recognition provides effective and noise-tolerant tools for machine learning tasks; however, most approaches only deal with real vectors of a finite and fixed dime...
103
Voted
CORR
2007
Springer
15 years 19 days ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...