this paper proposes a new approach for lip reading. Most existing systems for lip reading utilize a kind of neural network or hidden Markov models as classifiers. We propose a new approach where fuzzy combinational ne...
详细信息
this paper proposes a new approach for lip reading. Most existing systems for lip reading utilize a kind of neural network or hidden Markov models as classifiers. We propose a new approach where fuzzy combinational networks with fuzzy flip-flop memories are combined into one network. Our model introduces a hierarchical structure of this network, where single layers are contextually dependent. Experiments with fuzzy flip-flop network propose a new approach in the process of automatic lip-reading system where time dependence in inputs series is modeled with memories. Such approach provides possibilities for continuous speech recognition.
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed. 69; 2011 IEEE.
the displacement calculus of Morrill, Valentin and Fadda (2011)[12] forms a foundation for type logical categorial grammar in which discontinuity is accommodated alongside continuity in a logic which is free of struct...
详细信息
ISBN:
(纸本)9783642222207;9783642222214
the displacement calculus of Morrill, Valentin and Fadda (2011)[12] forms a foundation for type logical categorial grammar in which discontinuity is accommodated alongside continuity in a logic which is free of structural rules and which enjoys Cut-elimination, the subformula property, decidability, and the finite reading property. the calculus deploys a new kind of sequent calculus which we call hypersequent calculus in which types and configurations have not only external context but also internal context, in the case that they are discontinuous. In this paper we consider the logicprogramming of backward chaining hypersequent proof search for the displacement calculus. We show how focusing eliminates all spurious ambiguity in the fragment without antecedent tensors and we illustrate coding of the essential features of displacement. In this way we lay a basis for parsing/theorem proving for this calculus, which is being used and extended in a system CatLog currently under development.
the proceedings contain 18 papers. the special focus in this conference is on logical Aspects of Computational Linguistics. the topics include: Contextual Analysis of Word Meanings in Type-theoretical Semantics;logic ...
ISBN:
(纸本)9783642222207
the proceedings contain 18 papers. the special focus in this conference is on logical Aspects of Computational Linguistics. the topics include: Contextual Analysis of Word Meanings in Type-theoretical Semantics;logicprogramming of the Displacement Calculus;conditional logic Cband Its Tableau System;are (Linguists’) Propositions (Topos) Propositions?;event in Compositional Dynamic Semantics;using Tree Transducers for Grammatical Inference;distributional Learning of Abstract Categorial Grammars;some Generalised Comparative Determiners;using logic in the Generation of Referring Expressions;polarized Classical Non-associative Lambek Calculus and Formal Semantics;the Product-Free Lambek-Grishin Calculus Is NP-Complete;copredication, Quantification and Frames;on Dispersed and Choice Iteration in Incrementally Learnable Dependency Types;closure Properties of Minimalist Derivation Tree Languages;well-Nestedness Properly Subsumes Strict Derivational Minimalism;minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages.
the proceedings contain 18 papers. the topics discussed include: encoding phases using commutativity and non-commutativity in a logical framework;polarized classical non-associative Lambek calculus and formal semantic...
ISBN:
(纸本)9783642222207
the proceedings contain 18 papers. the topics discussed include: encoding phases using commutativity and non-commutativity in a logical framework;polarized classical non-associative Lambek calculus and formal semantics;the product-free Lambek-Grishin calculus is NP-complete;on dispersed and choice iteration in incrementally learnable dependency types;closure properties of minimalist derivation tree languages;well-nestedness properly subsumes strict derivational minimalism;minimalist tree languages are closed under intersection with recognizable tree languages;contextual analysis of word meanings in type-theoretical semantics;logicprogramming of the displacement calculus;event in compositional dynamic semantics;using tree transducers for grammatical inference;distributional learning of abstract categorial grammars;and distributional learning of abstract categorial grammars.
We present a hybrid debugger for the Java programming language which integrates declarative and omniscient debugging techniques. Omniscient debugging is an extension of trace debugging which is the most common debuggi...
详细信息
ISBN:
(纸本)9789898425775
We present a hybrid debugger for the Java programming language which integrates declarative and omniscient debugging techniques. Omniscient debugging is an extension of trace debugging which is the most common debugging method for Java programs. Declarative debugging is a technique mostly used in the area of functional and logic approaches. By combining both techniques our debugger benefits from the advantages of both techniques. We demonstrate how to use our debugger and mention important aspects of its implementation. Furthermore, we develop a declarative debugging strategy to reduce the number of questions and give empirical evidence of its usefulness.
the aim of this paper is to describe a newly designed diagnostic software application for a small and medium enterprise (SME). this application was driven by a need of small and medium sized companies and by a focus o...
详细信息
ISBN:
(纸本)9789898425768
the aim of this paper is to describe a newly designed diagnostic software application for a small and medium enterprise (SME). this application was driven by a need of small and medium sized companies and by a focus on a simple, comfortable and user-friendly interface. the diagnostic process provided by the application consists of 4 main parts - a questionnaire, a processing system, a report and an action plan. the entirely new generic diagnostic system developed according to the functional specifications given by partnering companies in our project includes a system of questionnaires with processing logic conditions, and was tested with end users and upgraded based on end users' feedback. A live version and implementation into a web site on the server is ongoing.
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.
As an emerging portable service platform, OSGi is now taking a more and more important role in Ubiquitous Computing environment. As a module management framework, OSGi provides the functions of dynamic loading and unl...
详细信息
ISBN:
(纸本)9781457702099
As an emerging portable service platform, OSGi is now taking a more and more important role in Ubiquitous Computing environment. As a module management framework, OSGi provides the functions of dynamic loading and unloading software modules at runtime. But its use is limited because it is centralized and single programming language supported. In this paper we present LIR-OSGi, an extended framework of OSGi, which is designed to add the distribution and programming language independence to OSGi. Meanwhile it is easy to use for developers because of the transparence of service invocation and automation of distribution. Not like OSGi which can be applied only on the Java platform, LIR-OSGi makes programs which may be written in different programming languages be able to call each other transparently so that it can be applied in many different platforms such as DotNet Framework and so on. this brings much convenience to the program development in a distributed and heterogeneous environment.
A Paper suggests methodology for automated control program synthesis for typical process plan that is developed in the production planning and enhanced with PLC specific information according to the IEC 61131-3 standa...
详细信息
A Paper suggests methodology for automated control program synthesis for typical process plan that is developed in the production planning and enhanced with PLC specific information according to the IEC 61131-3 standard. Due to typical plant architecture even part of control algorithms for the equipment or overall program structure can be ready made. this paper presents the way to build those control algorithms and automated generation of the control program for Programmable logic Controller (PLC). Process signal coding, special PLC templates and meta-program for the plant control program is also presented.
暂无评论