With the ongoing global financial crisis – which began with the collapse of the US sub-prime market in 2007 – the Barbadian economy is expected to contract in 2009. As a means of stimulating economic activity and providing job opportunities, the government has committed itself to completing 572 houses during the 2009/10 financial year. However, the arguments in favour of allocating more resourc...

For an r-graph H, let C(H) = minS d(S), where the minimum is taken over all (r− 1)-sets of vertices of H, and d(S) is the number of vertices v such that S ∪ {v} is an edge of H. Given a family F of r-graphs, the co-degree Turán number co-ex(n,F) is the maximum of C(H) among all r-graphs H which contain no member of F as a subhypergraph. Define the co-degree density of a family F to be γ(F) = li...

We investigate why weights from generative models underperform heuristic estimates in phrasebased machine translation. We first propose a simple generative, phrase-based model and verify that its estimates are inferior to those given by surface statistics. The performance gap stems primarily from the addition of a hidden segmentation variable, which increases the capacity for overfitting during...

Recently, ‘determinization in hindsight’ has enjoyed surprising success in on-line probabilistic planning. This technique evaluates the actions available in the current state by using non-probabilistic planning in deterministic approximations of the original domain. Although the approach has proven itself effective in many challenging domains, it is computationally very expensive. In this paper...

We introduce a new formalism called automata over a timed domain which provides an adequate framework for the determinization of timed systems. In this formalism, determinization w.r.t. timed language is always possible at the cost of changing the timed domain. We give a condition for determinizability of automata over a timed domain without changing the timed domain, which allows us to recover...

The complementation problem for nondeterministic word automata has numerous applications in formal verification. In particular, the language-containment problem, to which many verification problems are reduced, involves complementation. For automata on finite words, which correspond to safety properties, complementation involves determinization. The 2 blow-up that is caused by the subset constr...

This paper discusses determinization of conditional term rewriting systems with oriented constructor rules. We present a rule-based transformation system, which transforms a non-deterministic one into a deterministic one, together with examples of the transformation. We prove that the transformation system is simulation sound and simulation complete. We also prove that the transformation system...

L Introduction Large-scale public systems in today’s information control field require. that seveml conditions should be satisfied. Fmt, a phased-in construction of the system must be possible so that the system can be constructed over a long period of time. Second the system must be flexible and be adapted to meet the changes of social needs. All such systems are assumed to constantly grow, ex...

The aim of this paper is to investigate how subset construction performs on specific families of automata. A new upper bound on the number of states of the subset-automaton is established in the case of homogeneous automata. The complexity of the two basic steps of subset construction, i.e. the computation of deterministic transitions and the set equality tests, is examined depending on whether...

In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, little of this theory has been reduced to practice. This is in contrast with model-checking theory, which has led to industrial development and use of formal verification tools. We address this problem here by consideri...