53 search results - page 8 / 11 » Projective Brane Calculus |
POPL
2000
ACM
14 years 3 days ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
The problem of feature-based surface reconstruction is considered in this paper. Our main contribution is the ability to handle visibility constraints, obtained from the projectio...
DAGM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Well known estimation techniques in computational geometry usually deal only with single geometric entities as unknown parameters and do not account for constrained obser...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
In total knee replacement surgery, also known as total knee arthroplasty, prosthetics are implanted in the knee joint as treatment for progressive diseases such as arthritis or tr...
PPDP
2004
Springer
14 years 1 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...