3690 search results - page 55 / 738 » Computation with classical sequents |
CADE
2009
Springer
15 years 10 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
TSD
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Natural audio-visual interface between human user and machine requires understanding of user’s audio-visual commands. This does not necessarily require full speech and ...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a generalization of geometric moments in scale-spaces derived from the general heat diffusion equation, with a particular interest for the min/max flow. A...
CIE
2010
Springer
15 years 2 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
ICPR
2000
IEEE
15 years 1 months ago
2000
IEEE
Applied statistics are widely used in pattern recognition and other computing applications tofind the most likely value of a parameter. The use of classical empirical statistics i...