Sciweavers

2643 search results - page 46 / 529
» Higher order messaging
Sort
View
112
Voted
APLAS
2004
ACM
15 years 9 months ago
Automatic Generation of Editors for Higher-Order Data Structures
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 ...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
105
Voted
AISC
2004
Springer
15 years 9 months ago
A Paraconsistent Higher Order Logic
Jørgen Villadsen
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
15 years 9 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
DAGM
2004
Springer
15 years 9 months ago
A Higher Order MRF-Model for Stereo-Reconstruction
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...
Dmitrij Schlesinger, Boris Flach, Alexander Shekho...