2610 search results - page 211 / 522 » codes 2007 |
139
click to vote
ACTA
2007
15 years 4 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
130
click to vote
AMC
2006
15 years 4 months ago
2006
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...
141
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
126
click to vote
JCM
2007
15 years 4 months ago
2007
—To establish the interference canceller, generating replicas of unwanted carriers is a key. This paper addresses the design and performances of two types of signal canceller tha...
134
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, a new sorting initial codebook algorithm for learning vector quantization (LVQ) based upon selforganizing feature maps (SOM) has been proposed. The basic idea is ...