We propose a new approach to the pricing and hedging of contingent claims under transaction costs in a general incomplete market in discrete time. Under the assumptions of a bounded mean-variance tradeoff, substantial risk and a nondegeneracy condition on the conditional variances of asset returns, we prove the existence of a locally risk-minimizing strategy inclusive of transaction costs for e...

We present our work on using statistical, corpusbased machine learning techniques to perform instantiated goal recognition — recognition of a goal schema and its parameter values. The recognizer is fast (linear in the number of goal schemas and observed actions) and is able to make partial predictions by optionally predicting individual parameter values for a goal schema. This allows it to make...

In this paper, we propose a method for diagnostic test derivation when the system specification and implementation are given in the form of two communicating finite state machines and at most a single component machine can be faulty. The method enables to decide if it is possible to identify the faulty machine in the system, once faults have been detected in a system implementation. If this is ...

Extended Finite State Machine uses the formal description language to model the requirement specification of the system. The system models are frequently changed because of the specification changes. We can show the changes in specification by changing the model represented using finite state machine. To test the modified parts of the model the selective test generation techniques are used. How...

This paper presents that, by combining on-demand instantiation and lazy recovery, we can reduce the cost of asynchronous state machine replication protocols, such as Paxos and UpRight, while maintaining their high availability. To reduce cost, we incorporate on-demand instantiation, which activates a subset of replicas first and activates backup ones when active ones fail. To solve its key limi...

This first half of this general survey covers MT and translation tools in use, including translators workstations, software localisation, and recent commercial and in-house MT systems. The second half covers the research scene, multilingual projects supported by the European Union, networking and evaluation. In comparison with the United States and elsewhere, the distinctive features of activit...