7066 search results - page 143 / 1414 » Contact Relations with Applications |
APAL
2011
13 years 5 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
ISCI
2007
13 years 10 months ago
2007
We define the Lukasiewicz transform as a residuated map and a homomorphism between semimodules over the semiring reducts of an MV-algebra. Then we describe the “Lukasiewicz Tra...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
This article proposes a local photometric model that compensates for specular highlights and lighting variations due to position and intensity changes. We define clearly on which ...
CLEF
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper presents a system that applies Textual Entailment recognition techniques to the AVE task. This is performed comparing representations of text snippets by means...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...