877 search results - page 41 / 176 » Structural Cut Elimination |
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
The aim of this work is to index images in domain specific databases using colors computed from the object of interest only, instead of the whole image. The main problem in this t...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
CIE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisa...
MICCAI
2004
Springer
14 years 29 days ago
2004
Springer
A force sensor based method to detect the instant of needle puncture to the layers of tissues is proposed. A set of needle and sheath attached to a pair of coaxial force sensors wa...
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...