2286 search results - page 205 / 458 » Algorithms for Categorical Equivalence |
175
click to vote
JSAT
2008
15 years 6 months ago
2008
In this paper, we consider the problem of classifying Hamiltonian cycles in a binary hypercube. Previous work proposed a classification of these cycles using the edge representati...
166
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
126
click to vote
IJON
2007
15 years 6 months ago
2007
Motivated by the natural representation of stimuli in sensory systems, we investigate the representation of a bandlimited signal by an ensemble of Hodgkin–Huxley neurons with mu...
177
click to vote
JLP
2007
15 years 6 months ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
132
click to vote
COLING
2002
15 years 6 months ago
2002
I present a novel approach to the determination of recurrent sound correspondences in bilingual wordlists. The idea is to relate correspondences between sounds in wordlists to tra...