6615 search results - page 207 / 1323 » Indexing Multiple Sets |
166
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
198
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—We present an empirical study to statistically analyze the equivalence of several traceability recovery methods based on Information Retrieval (IR) techniques. The analy...
182
click to vote
COLING
2010
15 years 1 months ago
2010
The use of semantic information to improve IR is a long-standing goal. This paper presents a novel Document Expansion method based on a WordNet-based system to find related concep...
159
click to vote
DM
2010
15 years 1 months ago
2010
An octagon quadrangle is the graph consisting of an 8-cycle (x1, x2, ..., x8) with two additional chords: the edges {x1, x4} and {x5, x8}. An octagon quadrangle system of order v ...
166
click to vote
MRCO
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The paper presents a contexts recognition algorithm that uses the Internet as a knowledge base to extract the multiple contexts of a given situation, based on the streami...