799 search results - page 98 / 160 » Refinement and Separation Contexts |
JUCS
2008
13 years 10 months ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
ENTCS
2007
13 years 10 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
JUCS
2006
13 years 10 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
SIAMAM
2008
13 years 10 months ago
2008
We investigate the performance of a MUSIC-type algorithm for low frequent time-harmonic electromagnetic imaging of the subsurface. This algorithm is based on an asymptotic analysis...
KAIS
2007
13 years 10 months ago
2007
Published scientific articles are linked together into a graph, the citation graph, through their citations. This paper explores the notion of similarity based on connectivity alo...