A generalised fuzzy approach to statistical modelling techniques for speech recognition is proposed in this paper. Fuzzy C-means (FCM) and fuzzy entropy (FE) techniques are combined into a generalised fuzzy technique ...
详细信息
the proceedings contain 73 papers. the special focus in this conference is on Fuzzy Systems, Soft computing - theory and Applications. the topics include: A new perspective on reasoning with fuzzy rules;on interpretab...
ISBN:
(纸本)9783540431503
the proceedings contain 73 papers. the special focus in this conference is on Fuzzy Systems, Soft computing - theory and Applications. the topics include: A new perspective on reasoning with fuzzy rules;on interpretability of fuzzy models;degree of similarity in fuzzy partition;fuzzy set in default reasoning;interpolation in hierarchical rule-bases with normal conclusions;the dempster-shafer approach to map-building for an autonomous mobile robot with fuzzy controller;the fuzzy model for aircraft landing control;implementation of nonlinear fuzzy models using microcontrollers;a gain adaptive fuzzy logic controller;vehicle routing, scheduling and dispatching system based on HIMS model;similarity between fuzzy multi-objective control and eligibility;a fuzzy goal programming approach for solving bilevel programming problems;material handling equipment selection by fuzzy multi-criteria decision making methods;verbalizing computers - a way to everyday language computing;soft computing based emotion/intention reading for service robot;wavelet transform based fuzzy inference system for power quality classification;a fuzzy-neural technique for flashover diagnosis of winding insulation in transformers;feature identification for fuzzy logic based adaptive Kalman filtering;soft-computing technologies for biometric-applications;comparative study between different eigenspace-based approaches for face recognition;static signature verification employing a kosko-neuro-fuzzy approach;a study of electrophysiological experimentation and non-equilibrium information theory;characterization of non-linear cellular automata model for pattern recognition;recognition of handprinted bangla numerals using neural network models;a neural network based seafloor classification using acoustic backscatter and weather forecasting system based on satellite imageries using neuro-fuzzy techniques.
In this paper, we present a linear text classification algorithm called CRF. By using category relevance factors, CRF computes the feature vectors of training documents belonging to the same category. Based on these f...
详细信息
the distinctive features of the Bveritas online news integration archive are as follows: 1) automatic clustering of related news documents into themes;2) organization of these news clusters in a theme map;3) extractio...
详细信息
Information extraction on the Web permits users to retrieve specific information on a person or an organization. As names are non-unique, the same name may be mapped to multiple entities. the aim of this paper is to d...
详细信息
the proceedings contain 41 papers. the special focus in this conference is on advances in computingscience. the topics include: Emerging application domains and the computing fabric;the game of the name in cryptograp...
ISBN:
(纸本)354066856X
the proceedings contain 41 papers. the special focus in this conference is on advances in computingscience. the topics include: Emerging application domains and the computing fabric;the game of the name in cryptographic tables;a parallel approximation algorithm for the max cut problem on cubic graphs;rapid prototyping techniques for fuzzy controllers;transactional cache management with aperiodic invalidation scheme in mobile environments;observable sharing for functional circuit description;relating may and must testing semantics for discrete timed process algebras;a framework for formal reasoning about open distributed systems;structural sharing and efficient proof-search in propositional intuitionistic logic;verifying probabilistic programs using a hoare like logic;an expressive extension of TLC;completeness and decidability of a fragment of duration calculus with iteration;logical relations in circuit verification;lemma generalization and non-unit lemma matching for model elimination;on automating inductive and non-inductive termination methods;asynchronous links in the PBC and M-Nets;demand-driven model checking for context-free processes;programming the mobility behaviour of agents by composing itineraries;faster model checking for open systems;an argumentation approach to semantics of declarative programs with defeasible inheritance;entailment of non-structural subtype constraints;a CPS-transform of constructive classical logic;formal verification of the MCS list-based queuing lock;BDD-nodes can be more expressive;formal verification of descriptions with distinct order of memory operations;beyond tamaki-sato style unfold/fold transformations for normal logic programs and separators are as simple as cutsets.
We present a verification methodology for combinational arithmetic circuits which allows us to reason about circuits at a high level of abstraction and to have better-structured and compositional proofs. this is obtai...
详细信息
there is no well-know model for mobile agent security. One of the few attempts so far is given by [1]. the model is, however, a qualitative model that does not have direct numerical measures. It would be great if ther...
ISBN:
(纸本)354066856X
there is no well-know model for mobile agent security. One of the few attempts so far is given by [1]. the model is, however, a qualitative model that does not have direct numerical measures. It would be great if there is a quantitative model that can give user an intuitive sense of “how secure an agent is”.
We deal withthe maximum cut problem on cubic graphs and we present a simple O(log n) time parallel algorithm, running on a CRCW PRAM with O(n) processors. the approximation ratio of our algorithm is 1(Formula Present...
详细信息
We present an algebra for programming the itineraries of mobile agents. the algebra contains operators for modelling sequential, parallel, nondeterministic, and conditional mobility behaviour. Iterative behaviour is a...
详细信息
暂无评论