2272 search results - page 348 / 455 » A Calculus for |
130
Voted
INFORMATICALT
2006
15 years 3 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...
133
Voted
ISCI
2006
15 years 3 months ago
2006
The use of the computing with words paradigm for the automatic text documents categorization problem is discussed. This specific problem of information retrieval (IR) becomes more...
122
click to vote
JLP
2008
15 years 3 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
133
click to vote
JLP
2008
15 years 3 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
117
click to vote
JMIV
2008
15 years 3 months ago
2008
Moment invariants are features calculated on an image, which do not change their values after a transformation of the image. This paper focuses on the so called combined invariants...