905 resultados para Search space reduction
Resumo:
In vector space based approaches to natural language processing, similarity is commonly measured by taking the angle between two vectors representing words or documents in a semantic space. This is natural from a mathematical point of view, as the angle between unit vectors is, up to constant scaling, the only unitarily invariant metric on the unit sphere. However, similarity judgement tasks reveal that human subjects fail to produce data which satisfies the symmetry and triangle inequality requirements for a metric space. A possible conclusion, reached in particular by Tversky et al., is that some of the most basic assumptions of geometric models are unwarranted in the case of psychological similarity, a result which would impose strong limits on the validity and applicability vector space based (and hence also quantum inspired) approaches to the modelling of cognitive processes. This paper proposes a resolution to this fundamental criticism of of the applicability of vector space models of cognition. We argue that pairs of words imply a context which in turn induces a point of view, allowing a subject to estimate semantic similarity. Context is here introduced as a point of view vector (POVV) and the expected similarity is derived as a measure over the POVV's. Different pairs of words will invoke different contexts and different POVV's. Hence the triangle inequality ceases to be a valid constraint on the angles. We test the proposal on a few triples of words and outline further research.
Resumo:
The Acquisition of Land Act 1967 (Qld) (‘the Act’) deals with the acquisition of land by the State for public purposes and provides for compensation. The issue that arose for determination in Sorrento Medical Service Pty Ltd v Chief Executive, Dept of Main Roads [2007] QCA 73 was whether the appellant was entitled to claim compensation under the Act in respect of land resumed by the Main Roads Department over which the appellant had an exclusive contractual licence for car parking spaces for use in association with a medical centre leased by the appellant. At first instance, it was held by the Land Court that the appellant was not entitled to compensation for the resumption of the car parking spaces. The basis for this decision by the Land Court was that a right to compensation only exists where resumption has taken some proprietary interest of the claimant in the land. Following an appeal to the Land Appeal Court being dismissed, the appellant instituted the present appeal to the Queensland Court of Appeal (McMurdo P, Holmes JA and Chesterman J).
Resumo:
Research has demonstrated that driving a vehicle for work is potentially one of the most dangerous workplace activities. Although organisations are required to meet legislative obligations under workplace health and safety in relation to work related vehicle use, organisations are often reluctant to acknowledge and address the risks associated with the vehicle as a workplace. Recent research undertaken investigating the challenges associated with driver and organisational aspects of fleet safety are discussed. This paper provides a risk management framework to assist organisations to meet legislative requirements and reduce the risk associated with vehicle use in the workplace. In addition the paper argues that organisations need to develop and maintain a positive fleet safety culture to proactively mitigate risk in an effort to reduce the frequency and severity of vehicle related incidents within the workplace.
Resumo:
As the need for concepts such as cancellation and OR-joins occurs naturally in business scenarios, comprehensive support in a workflow language is desirable. However, there is a clear trade-off between the expressive power of a language (i.e., introducing complex constructs such as cancellation and OR-joins) and ease of verification. When a workflow contains a large number of tasks and involves complex control flow dependencies, verification can take too much time or it may even be impossible. There are a number of different approaches to deal with this complexity. Reducing the size of the workflow, while preserving its essential properties with respect to a particular analysis problem, is one such approach. In this paper, we present a set of reduction rules for workflows with cancellation regions and OR-joins and demonstrate how they can be used to improve the efficiency of verification. Our results are presented in the context of the YAWL workflow language.
Resumo:
Inadequate air quality and the inhalation of airborne pollutants pose many risks to human health and wellbeing, and are listed among the top environmental risks worldwide. The importance of outdoor air quality was recognised in the 1950s and indoor air quality emerged as an issue some time later and was soon recognised as having an equal, if not greater importance than outdoor air quality. Identification of ambient air pollution as a health hazard was followed by steps, undertaken by a broad range of national and international professional and government organisations, aimed at reduction or elimination of the hazard. However, the process of achieving better air quality is still in progress. The last 10 years or so have seen an unprecedented increase in the interest in, and attention to, airborne particles, with a special focus on their finer size fractions, including ultrafine (< 0.1 m) and their subset, nano particles (< 0.05 m). This paper discusses the current status of scientific knowledge on the links between air quality and health, with a particular focus on airborne particulate matter, and the directions taken by national and international bodies to improve air quality.
Resumo:
Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.