232 search results - page 25 / 47 » Reflection principles in computational logic |
117
click to vote
ICHIM
2001
15 years 4 months ago
2001
The issues of digital preservation of shapes and internal structures of historical and cultural objects are discussed. An overview of existing approaches to computer modeling of s...
118
Voted
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
126
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
126
click to vote
EDO
2000
Springer
15 years 7 months ago
2000
Springer
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...
154
Voted
IJCV
2002
15 years 3 months ago
2002
In an effort to articulate models for the intuitive representation and manipulation of 2D and 3D forms, Blum (1967, 1973) invented the notion of a skeleton. His insight was to con...