Abstract This paper contributes to the recent explosion of literature on epistemological role emotions and other affective states by defending two claims. First, might do more than position us receive evidence or function as evidence. Affective be thought appraise evidence, in sense that influence what doxastic state is rational for someone given a body The second claim evidentialism, view rati...

Mobile robots must represent and reason about spatial knowledge acquired from sensor data which are inherently approximate and uncertain. While techniques based on fuzzy sets are increasingly used in this domain, the use of these techniques often rests on intuitive grounds. In this paper, we show that fuzzy mathematical morphology, a theory often used in image processing but mostly ignored in t...

We consider the problem of automating the derivation of tight asymptotic complexity bounds for solving Horn clauses. Clearly, the solving time crucially depends on the “sparseness” of the computed relations. Therefore, our asymptotic runtime analysis is accompanied by an asymptotic sparsity calculus together with an asymptotic sparsity analysis. The technical problem here is that least fixpoint...

Mobile robots must represent and reason about spatial knowledge acquired from sensor data which are inherently approximate and uncertain. While techniques based on fuzzy sets are increasingly used in this domain, the use of these techniques often rests on intuitive grounds. In this paper, we show that fuzzy mathematical morphology, a theory often used in image processing but mostly ignored in t...

Testing system software (such as protocol stacks or file systems) often is a tedious and error-prone process. The reason for this is that such software is very complex and often not designed to be tested. This paper describes DiPSUnit, a JUnit extension, which allows fine-grained as well as composed units to be tested consistently. Although non-trivial test support is provided, using DiPSUnit k...

Testing system software (such as protocol stacks or file systems) often is a tedious and error-prone process. The reason for this is that such software is very complex and often not designed to be tested. This paper presents DiPS, a component framework, which forces to develop testable software, and DiPSUnit, a JUnit extension, to test DiPS units in a uniform way. Although non-trivial test supp...

We compare two proofs of the mutual-exclusion property of the well known critical section algorithm of Peterson: an assertional proof and a behavioral one. The accepted view is that behavioral proofs are informal and are, for some intrinsic reason, error prone. We try to present a different view and to outline a framework within which the behavioral approach can be formalized in a way that keep...

We use the linear model (LM) as a vehicle to illustrate the relationship between the generalized likelihood ratio test and two detection strategies which are derived from the Minimum Description Length principle. The reason for choosing the LM is twofold: (i) it is frequently used in signal processing; (ii) some derivations are simpler and the results are more intuitive than those obtained for ...

Prosocial behavior is a central feature of human life and a major focus of research across the natural and social sciences. Most theoretical models of prosociality share a common assumption: Humans are instinctively selfish, and prosocial behavior requires exerting reflective control over these basic instincts. However, findings from several scientific disciplines have recently contradicted thi...

We present a graphical interval logic for specifying and reasoning about computer systems and communication protocols, and demonstrate its use with a speciication of the sliding window protocol. Existing temporal logics have found little practical application because of the diiculty software engineers have in understanding and using them. Graphical interval logic has an intuitive graphical repr...