18209 search results - page 72 / 3642 » Some Remarks on the Paper |
FLAIRS
2007
14 years 9 days ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
CLEF
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper describes our approach to the Question Answering - Word Sense Disambiguation task. This task consists in carrying out Question Answering over a disambiguated d...
FORMATS
2008
Springer
13 years 11 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
ACSW
2004
13 years 11 months ago
2004
A proxy blind signature scheme is a digital signature scheme which combines the properties of proxy signature and blind signature schemes. Recently, Tan et al. proposed two proxy ...
AIA
2006
13 years 11 months ago
2006
This paper presents a study of the model of triple BAM by [11] which is an improved variation of the original BAM model by [7]. This class of model aims at integrating different s...