Displaying 801 – 820 of 4962

Showing per page

Applications of regime-switching models based on aggregation operators

Jozef Komorník, Magda Komorníková (2007)

Kybernetika

A synthesis of recent development of regime-switching models based on aggregation operators is presented. It comprises procedures for model specification and identification, parameter estimation and model adequacy testing. Constructions of models for real life data from hydrology and finance are presented.

Applying A Normalized Compression Metric To The Measurement Of Dialect Distance

Simov, Kiril, Osenova, Petya (2007)

Serdica Journal of Computing

The paper discusses the application of a similarity metric based on compression to the measurement of the distance among Bulgarian dia- lects. The similarity metric is de ned on the basis of the notion of Kolmo- gorov complexity of a le (or binary string). The application of Kolmogorov complexity in practice is not possible because its calculation over a le is an undecidable problem. Thus, the actual similarity metric is based on a real life compressor which only approximates the Kolmogorov complexity....

Applying fuzzy logic in video surveillance systems.

José Manuel Molina, Jesús García, Oscar Pérez, Javier Carbó, Antonio Berlanga, José Ignacio Portillo (2005)

Mathware and Soft Computing

In this work, the application of fuzzy logic in surveillance systems based on cameras is analyzed. Three different fuzzy systems have been tested and compared with a crisp decision system. The first one has been developed using an expert knowledge, the second one was learned from recorded videos, and a third one is developed as a refinement taking into account evaluation with ground truth. In all cases, the core of the system is the association function, in which the developed fuzzy system takes...

Approches des grammaires catégorielles

Frédérique Segond (1990)

Mathématiques et Sciences Humaines

Étant donné l'importance que prennent les grammaires catégorielles dans le domaine de la linguistique computationnelle, il nous a semblé intéressant de dresser un panorama sur cette question. Nous espérons fournir, aux chercheurs intéressés, un matériau de base susceptible de les aider à approfondir par eux-mêmes le sujet.

Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

Choe, Changil, O., Hyong-Chol, Han, Song (2013)

Serdica Journal of Computing

Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented....

Currently displaying 801 – 820 of 4962