1036 search results - page 155 / 208 » Incompleteness of Behavioral Logics |
ECSQARU
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...
MICRO
1997
IEEE
14 years 28 days ago
1997
IEEE
In this paper we investigate the behavior of data prefetching on an access decoupled machine and a superscalar machine. We assess if there are bene ts to using the decoupling para...
FTRTFT
1994
Springer
14 years 25 days ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
AINA
2007
IEEE
14 years 22 days ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
AUSAI
2007
Springer
14 years 22 days ago
2007
Springer
For knowledge representation and reasoning, there is a need to consider the nature of events because event data describe various features and behaviors of the occurrences of action...