We investigate a decentralised approach to committing transactions in a replicated database, under partial replication. Previous protocols either reexecute transactions entirely an...
A one-counter automaton is a pushdown automaton over a singleton stack alphabet. We prove that the bisimilarity of processes generated by nondeterministic one-counter automata (wit...
We introduce and study term functions over fuzzy hyperalgebras. We start from this idea that the set of nonzero fuzzy subsets of a fuzzy hyperalgebra can be organized naturally as...
An important research area in computer vision is developing
algorithms that can reconstruct the 3D surface of an object
represented by a single 2D line drawing. Previous work
on...
Yingze Wang (The Chinese University of Hong Kong),...
Recognizing object classes and their 3D viewpoints is an
important problem in computer vision. Based on a partbased
probabilistic representation [31], we propose a new
3D object...