2932 search results - page 45 / 587 » Higher order mining |
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
AISC
2004
Springer
15 years 5 months ago
2004
Springer
ASIAN
2004
Springer
15 years 5 months ago
2004
Springer
DAGM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We consider the task of stereo-reconstruction under the following fairly broad assumptions. A single and continuously shaped object is captured by two uncalibrated camera...
FSTTCS
2004
Springer
15 years 5 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...