8141 search results - page 47 / 1629 » Higher Order Generalization |
194
click to vote
PADL
2007
Springer
16 years 19 days 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...
194
click to vote
TLCA
2007
Springer
16 years 19 days 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...
170
click to vote
TLCA
2007
Springer
16 years 19 days 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...
170
click to vote
ICCV
2005
IEEE
16 years 4 days 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...