18209 search results - page 72 / 3642 » Some Remarks on the Paper |
172
click to vote
FLAIRS
2007
15 years 8 months 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...
163
click to vote
CLEF
2008
Springer
15 years 8 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...
163
click to vote
FORMATS
2008
Springer
15 years 7 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...
179
click to vote
ACSW
2004
15 years 7 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 ...
140
click to vote
AIA
2006
15 years 7 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...