68,262 research outputs found
Decoding visemes: improving machine lip-reading
To undertake machine lip-reading, we try to recognise speech from a visual signal. Current work often uses viseme classification supported by language models with varying degrees of success. A few recent works suggest phoneme classification, in the right circumstances, can outperform viseme classification. In this work we present a novel two-pass method of training phoneme classifiers which uses previously trained visemes in the first pass. With our new training algorithm, we show classification performance which significantly improves on previous lip-reading results
Provably Correct Control-Flow Graphs from Java Programs with Exceptions
We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original program. Thus any safety property that holds for the extracted control-flow graph also holds for the original program. This makes control-flow graphs suitable for performing different static analyses. For precision and efficiency, the extraction is performed in two phases. In the first phase the program is transformed into a BIR program, where BIR is a stack-less intermediate representation of Java bytecode; in the second phase the control-flow graph is extracted from the BIR representation. To prove the correctness of the two-phase extraction, we also define a direct extraction algorithm, whose correctness can be proven immediately. Then we show that the behaviour of the control-flow graph extracted via the intermediate representation is an over-approximation of the behaviour of the directly extracted graphs, and thus of the original program
On monotone circuits with local oracles and clique lower bounds
We investigate monotone circuits with local oracles [K., 2016], i.e.,
circuits containing additional inputs that can perform
unstructured computations on the input string . Let be
the locality of the circuit, a parameter that bounds the combined strength of
the oracle functions , and
be the set of -cliques and the set of complete -partite graphs,
respectively (similarly to [Razborov, 1985]). Our results can be informally
stated as follows.
1. For an appropriate extension of depth- monotone circuits with local
oracles, we show that the size of the smallest circuits separating
(triangles) and (complete bipartite graphs) undergoes two phase
transitions according to .
2. For , arbitrary depth, and , we
prove that the monotone circuit size complexity of separating the sets
and is , under a certain restrictive
assumption on the local oracle gates.
The second result, which concerns monotone circuits with restricted oracles,
extends and provides a matching upper bound for the exponential lower bounds on
the monotone circuit size complexity of -clique obtained by Alon and Boppana
(1987).Comment: Updated acknowledgements and funding informatio
Iterative Approximate Consensus in the presence of Byzantine Link Failures
This paper explores the problem of reaching approximate consensus in
synchronous point-to-point networks, where each directed link of the underlying
communication graph represents a communication channel between a pair of nodes.
We adopt the transient Byzantine link failure model [15, 16], where an
omniscient adversary controls a subset of the directed communication links, but
the nodes are assumed to be fault-free.
Recent work has addressed the problem of reaching approximate consen- sus in
incomplete graphs with Byzantine nodes using a restricted class of iterative
algorithms that maintain only a small amount of memory across iterations [22,
21, 23, 12]. However, to the best of our knowledge, we are the first to
consider approximate consensus in the presence of Byzan- tine links. We extend
our past work that provided exact characterization of graphs in which the
iterative approximate consensus problem in the presence of Byzantine node
failures is solvable [22, 21]. In particular, we prove a tight necessary and
sufficient condition on the underlying com- munication graph for the existence
of iterative approximate consensus algorithms under transient Byzantine link
model. The condition answers (part of) the open problem stated in [16].Comment: arXiv admin note: text overlap with arXiv:1202.609
- β¦