XXX XXX XX XXX. In this paper we propose a novel approach for safety analysis based on system interface models, which are shared for both system and safety engineering. By extending interaction models on the system interface level with failure modes as well as relevant portions of the physical system to be controlled, automated support can be provided for much of the failure analysis. We partic...

We formalize weighted dependency parsing as searching for maximum spanning trees (MSTs) in directed graphs. Using this representation, the parsing algorithm of Eisner (1996) is sufficient for searching over all projective trees in O(n3) time. More surprisingly, the representation is extended naturally to non-projective parsing using Chu-Liu-Edmonds (Chu and Liu, 1965; Edmonds, 1967) MST algorit...

Searching for a pattern in a text file is a very common operation in many applications ranging from text editors and databases to applications in molecular biology. In many instances the pattern does not appear in the text exactly. Errors in the text or in the query can result from misspelling or from experimental errors (e.g., when the text is a DNA sequence). The use of such approximate patte...

BACKGROUND AND AIMS While the climbing habit allows vines to reach well-lit canopy areas with a minimum investment in support biomass, many of them have to survive under the dim understorey light during certain stages of their life cycle. But, if the growth/survival trade-off widely reported for trees hold for climbing plants, they cannot maximize both light-interception efficiency and shade av...

In this article, the phenomenon of searching for travel information on the Web is reported. The issues of how predominant travel searching is on the Web, how people are searching for travel information on the Web, and what terms people are using to express their travel-related information needs are investigated. In this research, 2,465,145 interactions from 534,507 users of the commercial Web s...

To overcome the problem of premature convergence on Particle Swarm Optimization (PSO), this paper proposes both the improved particle swarm optimization methods (IPSO) based on self-adaptive regulation strategy and the Chaos Theory. Given the effective balance of particles’ searching and development ability, the self-adaptive regulation strategy is employed to optimize the inertia weight. To im...

Searching of similar pictures was in the past based mainly on searching of similar picture names. We try to find an effective method how to search pictures by searching of similar information in the picture (histograms, shapes, blocks,). There already are some methods but still not effective enough. In this paper we describe a method where we combine vector quantization (VQ) and fuzzy S-trees. ...