We make a novel connection between an energy-efficient wireless transmission scheduling problem and a multi-period, multi-item inventory control problem with stochastic convex ordering costs, deterministic demands, and a joint budget constraint. In the special case of a single item, we show that a state-dependent modified base-stock policy is optimal when the stochastic ordering costs are linea...

Many examples of epistemic reasoning in the literature exhibit a stratified structure: defaults are formulated on top of an incomplete knowledge base. These defaults derive extra information in case information is missing in the knowledge base. In autoepistemic logic, default logic and ASP this inherent stratification is not preserved as they may refer to their own knowledge or logical conseque...

In this paper we investigate how texture recognition can be achieved through the modal analysis of the pattern of peaks in the spectral density function. We commence from a texture characterisation which is based on the positions of peaks in the power spectrum. Our aim is to use the modal structure of the pattern of peaks to perform texture retrieval from an image data-base. We explore two diff...

For modal analysis of large structures, it is unpractical and expensive to use artificial excitation (e.g., shakers). However, engineering structures are most often subject to ambient loads (e.g., traffic and wind) that can be exploited for modal parameter estimation. One difficulty is that the actual loading conditions cannot generally be measured, and output-only measurements are available. T...

In environments with information symmetry, uncertain or ambiguous data associations can lead to a multi-modal hypothesis on the robot’s state. Thus, a planner cannot simply base actions on the most-likely state. We propose an algorithm that uses a Receding Horizon Planning approach to plan actions that sequentially disambiguate a multi-modal belief to a uni-modal Gaussian and achieve tight loca...

We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergot’s Event Calculus (EC ): given a set of event occurrences, EC allows the derivation of the maximal validity intervals (MVIs) over which properties initiated or terminated by those events hold. The formalisms we analy...

“ba:y?d” as a persian lexeme is interwoven with modality, a semantic category and therefore has a complicated and thought- provoking semantic nature. this paper uses evidence from persian to investigate the usage of this lexeme and some of its semantic and pragmatic aspects in this language. the results indicate that this lexical category can convey a wide range of modal meanings in different c...

This article is about the interpretation of quantifiers in epistemic contexts, and the closely related notion of what it means for two objects in different possible worlds to be identical. I will give arguments for several claims. The first claim is that the definition of identity between objects across epistemically possible worlds as being given by the identity of those objects themselves lea...