8141 search results - page 47 / 1629 » Higher Order Generalization |
PADL
2007
Springer
14 years 4 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
SCALESPACE
2007
Springer
14 years 4 months ago
2007
Springer
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
ICCV
2005
IEEE
14 years 3 months ago
2005
IEEE
The representation and modelling of regions is an important topic in computer vision. In this paper, we represent a region via a level set of a ‘phase field’ function. The fu...