Ridge curves are important features in human vision (see Koenderink, 1990, p.295). In this paper we apply a simple algebraic criterion of Porteous (1994) to the problem of nding ridge curves in machine vision. This work provides a simpler approach than other existing methods (see for example, Thirion and Gourdon, 1992, and Hosaka, 1992). To identify ridge curves in practice on surface data it i...

Complex configurable models of embedded software systems are hard to design and maintain, especially when model structures are variable and the number of allowable configurations is unlimited. We employ model transformation as an underlying technique to configure model structures. A transformation tool is created for actor models that automates tasks in the development workflow. Such tasks incl...

With the increased availability of software for generating muscle-driven simulations [e.g., 1], many investigators are creating biomechanical models and simulating movements, with the hope of preventing injuries or improving the efficacy of treatments. However, very few are validating the predictions of their models by comparing results to key parameters, such as the muscle forces and fascicle ...

Strong timing requirements and complex interactions with controlled elements complicate the design and validation of software controllers. Different techniques have been proposed to cope with these problems during the different development steps: for example, differential equations for modeling controlled elements, the IEC 1131-3 notations for designing the software controller, and formal model...

We show the existing solution of Poisson-Boltzmann equation (PBE) to violate charge conservation principle, and then derive the correct formula for charge density distribution (ρe) in a fluid. We replaced unphysical old boundary conditions with some conditions that have never been used. Our result demonstrates that PBE cannot explain the formation of ‘Electric Double Layer’ (EDL); it follows th...

We address the problem of learning comprehensive syntactic profiles for a set of strings. Real-world datasets, typically curated from multiple sources, often contain data in various formats. Thus any data processing task is preceded by the critical step of data format identification. However, manual inspection of data to identify various formats is infeasible in standard big-data scenarios. We ...

The use of community detection algorithms is explored within the framework of cover song identification, i.e. the automatic detection of different audio renditions of the same underlying musical piece. Until now, this task has been posed as a typical query-by-example task, where one submits a query song and the system retrieves a list of possible matches ranked by their similarity to the query....

Visual resource discovery modes are discussed with a view to apply them in a wide variety of digital multimedia collections. The paradigms include summarising complex multimedia objects such as TV news, information visualisation techniques for document clusters, visual search by example, relevance feedback and methods to create browsable structures within the collection. These exploration modes...

RÉSUMÉ. Cet article décrit et défini l’utilisation de requêtes par l’exemple (QBE) dans le cadre de recherche symbolique d’images photographiques. La nouveauté de cette approche consiste en l’utilisation conjointe d’indexation symbolique automatique et d’un formalisme de représentation de connaissances pour représenter le contenu des images. De plus, le mécanisme d’abstraction perm la recherche...