A major problem that has been thought to stand in the way of an adequate account of hypothesis appraisal may be termed the alternative hypothesis objection: that whatever rule is specified for positively appraising H, there will always be rival hypotheses that satisfy the rule equally well. Evidence in accordance with hypothesis H cannot really count in favor of H, it is objected, if it counts ...

AUTONOMOUS AND COOPERATIVE MULTI-UAV GUIDANCE IN ADVERSARIAL ENVIRONMENT

We argue that the detection and refutation of non-theorems, and the discovery of appropriate counterexamples, is of vital importance to the Grand Challenge of a Program Verifier.

This report gives an overview of the planner framework developed in the Arcus project. The framework consists of a number of planning modules and planning modes that are introduced.

In this paper, we study pricing situations where a firm provides a price quote in the presence of uncertainty in the preferences of the buyer and the competitive landscape. We introduce two customized-pricing bid-response models used in practice, which can be developed from the historical information available to the firm based on previous bidding opportunities. We show how these models may be ...

An increasing demand for supporting users in diverse contexts of use, e.g., depending on interaction device and primary task, results in new challenges for User Interface (UI) development. Two key challenges are: how to create these multiple UIs for one application (creation challenge), and how to consistently modify them (modification challenge). The creation challenge has been addressed in va...

Nowadays, mobile technology plays an essential role during police emergency response duties. This article presents the result of an ethnographic research in progress. Police officers were shadowed during their shifts (70 hours of observation) in cases of timepressured incidents. We analyze the entanglement between the material and human agencies while the police officers were responding to two ...