In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extension of time Petri nets with inhibitor arcs (ITPNs) with temporal parameters. Then, we define a symbolic representation of the parametric state space based on the classical state class graph method. The parameters of the model are...

This paper proposes a model for the parametric representation of linguistic hedges in Zadeh’s fuzzy logic. In this model each linguistic truth-value, which is generated from a primary term of the linguistic truth variable, is identified by a real number r depending on the primary term. It is shown that the model yields a method of efficiently computing linguistic truth expressions accompanied w...

Current CAD systems encode shape semantics as so called parametric features on different levels of abstraction. Here we discuss an approach that combines parametric modeling with techniques from the field of knowledge representation and ontological reasoning. Parametric models refer to feature ontologies that model feature semantics on several levels of granularity. On higher levels the interre...

Several alternate linear prediction parametric representations are experimentally compared as to their vowel recognition performance. The speech data used for this purpose consist of 900 utterances of 10 different vowels spoken by 3 speakers in a/b/-vowel-/b/context. The cepstral coefficients representation is found to be the best linear prediction parametric representation. ~chantillons de 10 ...

By using bifurcation theory of planar ordinary differential‎ ‎equations all different bounded travelling wave solutions of the‎ ‎Generalized Zakharov equation are classified in different‎ ‎parametric regions‎. ‎In each of these parametric regions‎ ‎the exact explicit parametric‎ representation of all solitary‎, ‎kink (anti kink) and‎ ‎periodic wave solutions as well as their numerical simulatio...

A parametric derivation of the surfactant transport equation along a deforming fluid interface is presented in this paper. The derivation is based on the Lagrangian formulation of the interface with a parametric representation. Comparisons with some of the existing derivations are also given.

This paper investigates how behavior primitives are self-organized in a neural network model utilizing a distributed representation scheme. The model is characterized by so-called parametric biases which adaptively modulate the encoding of different behavior patterns in a single recurrent neural net (RNN). Our experiments, using a real robot arm, showed that a set of end-point and oscillatory b...

Corresponding Author: Junqiu Wang AVIC Intelligent Measurement, Aviation Industry Cooperation China, Beijing, China Email: [email protected] Abstract: We present a fragment-based tracking algorithm that considers appearance information characterized by a non-parametric distribution and spatial information described by a parametric representation. We segment an input object into several fragm...

This paper investigates the problem of parametrics within the perspective of generating and exchanging families of cognate products. Two ways are discussed. A parametric representation gathers together within the same structure the parametric definition and one specific instance: the current instance. An EXPRESS model that follows this approach is presented. Its integration within the STEP Stan...