Clock synchronization is one of the most basic building blocks for many applications in computerscience and engineering. the purpose of clock synchronization is to provide the constituent parts of a distributed syste...
详细信息
ISBN:
(纸本)9783642112652
Clock synchronization is one of the most basic building blocks for many applications in computerscience and engineering. the purpose of clock synchronization is to provide the constituent parts of a distributed system with a common notion of time. While the problem of synchronizing clocks in distributed systems has already received considerable attention from researchers and practitioners alike, we believe that there are many fascinating problems that remain unsolved. In this paper, we give a brief overview of previous work in this area;followed by a discussion of open clock synchronization problems in theory and practice.
Web science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. In this extended abstract we examine Web science research issues by taking a closer look a...
详细信息
ISBN:
(纸本)9783642112652
Web science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. In this extended abstract we examine Web science research issues by taking a closer look at the area of digital heritage. We discuss engineering, communication and socio-economic aspects.
In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and we prove that it is type sound. We hav...
详细信息
ISBN:
(纸本)9783030389192;9783030389185
In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and we prove that it is type sound. We have implemented our calculus, and we demonstrate its applicability with common examples in programming languages. As our calculus manipulates inference systems, our work can, in principle, be applied to logical systems.
Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word requires that the probabili...
详细信息
ISBN:
(纸本)9783540958901
Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word requires that the probability for the accepting runs is positive. In this paper, we provide a summary of the fundamental properties of probabilistic omega-automata concerning expressiveness, efficiency, compositionality and decision problems.
We present a language L which is recognizable by a probabilistic finite automaton (PFA) with probability 1 - epsilon for all epsilon > 0 with O(log(2) n) states, with a deterministic finite automaton (DFA) with 0(n...
详细信息
ISBN:
(数字)9783540361374
ISBN:
(纸本)354000145X
We present a language L which is recognizable by a probabilistic finite automaton (PFA) with probability 1 - epsilon for all epsilon > 0 with O(log(2) n) states, with a deterministic finite automaton (DFA) with 0(n) states, but a quantum finite automaton (QFA) needs at least 2(Omega(n/ log n)) states.
Building a safety case is a common approach to make expert judgement explicit about safety of a system. the issue of confidence in such argumentation is still an open research field. Providing quantitative estimation ...
详细信息
ISBN:
(纸本)9783319242552;9783319242545
Building a safety case is a common approach to make expert judgement explicit about safety of a system. the issue of confidence in such argumentation is still an open research field. Providing quantitative estimation of confidence is an interesting approach to manage complexity of arguments. this paper explores the main current approaches, and proposes a new model for quantitative confidence estimation based on Belief theory for its definition, and on Bayesian Belief Networks for its propagation in safety case networks.
We define two-dimensional rational automata for pictures as an extension of classical finite automata for strings. they are obtained replacing the finite relation computed by the transition function with a rational re...
详细信息
ISBN:
(纸本)9783642358432
We define two-dimensional rational automata for pictures as an extension of classical finite automata for strings. they are obtained replacing the finite relation computed by the transition function with a rational relation computed by a transducer. the model provides a uniform setting for the most important notions, techniques and results presented in the last decades for recognizable two-dimensional languages, and establishes new connections between one- and two-dimensional language theory.
DIVA(Directions Into of Articulators) model is a kind of self-adaptive neutral network model which controls movements of a simulated vocal tract in order to produce words, syllables or phonemes. However, there exist p...
详细信息
ISBN:
(纸本)9781467374439
DIVA(Directions Into of Articulators) model is a kind of self-adaptive neutral network model which controls movements of a simulated vocal tract in order to produce words, syllables or phonemes. However, there exist poor classification ability, out of consideration of overlap and other deficiencies among multiple modeling primitives in current Hidden Markov(HMM) training algorithm. It impacts speech recognition rate of the model. therefore, this paper proposes a hybrid model HMM/PNN, which is to use Predictive Neural Network(PNN) in ANN(Artificial neutral network) to calculate station posterior distribution of Hidden Markov Model. the acoustic model of DIVA is reconstructed through extracting acoustic parameter, choosing modeling unit and other methods. the simulations show that after training and learning the pronunciation of compound vowel by using new HMM/PNN model, there s not huge difference between the waveform of the acquired speech and that of real person, in addition, the recognition rate is also improved. All these verify the effectiveness and accuracy of this method.
Many recent applications of interest involve self-interested participants. As such participants, termed agents, may manipulate the algorithm for their own benefit, a new challenge emerges: the design of algorithms and...
详细信息
ISBN:
(纸本)3540413480
Many recent applications of interest involve self-interested participants. As such participants, termed agents, may manipulate the algorithm for their own benefit, a new challenge emerges: the design of algorithms and protocols that perform well when the agents behave according to their own self-interest. this led several researchers to consider computational models that are based on a sub-field of game-theory and micro-economics called mechanism design. this paper introduces this topic mainly through examples. It demonstrates that in many cases selfishness can be satisfactorily overcome, surveys some of the recent trends in this area and presents new challenging problems. the paper is mostly based on classic results from mechanism design as well as on recent work by the author and others.
this two-volume set of LNAI 12798 and 12799 constitutes the thoroughly refereed proceedings of the 34th International conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AI...
详细信息
ISBN:
(数字)9783030794637
ISBN:
(纸本)9783030794620
this two-volume set of LNAI 12798 and 12799 constitutes the thoroughly refereed proceedings of the 34th International conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, held virtually and in Kuala Lumpur, Malaysia, in July 2021.
暂无评论