2649 search results - page 337 / 530 » Temporal Theories of Reasoning |
CSFW
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
ISPW
1994
IEEE
14 years 1 months ago
1994
IEEE
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project emp...
APWEB
2006
Springer
14 years 29 days ago
2006
Springer
We give a new view on building content clusters from page pair models. We measure the heuristic importance within every two pages by computing the distance of their accessed positi...
AIML
2008
13 years 10 months ago
2008
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...
KRMED
2004
13 years 10 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...