15840 search results - page 2547 / 3168 » The Control of Synchronous Systems |
149
click to vote
EVOW
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We present a new technique for granular sampling using a pulsecoupled network of spiking artificial neurons to generate grain events. The system plays randomly selected s...
170
click to vote
FPL
2005
Springer
16 years 29 days ago
2005
Springer
A hardware-accelerated algorithm has been designed to automatically identify the primary languages used in documents transferred over the Internet. The algorithm has been implemen...
191
click to vote
FROCOS
2005
Springer
16 years 29 days ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
183
click to vote
FROCOS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
186
click to vote
FSKD
2005
Springer
16 years 29 days ago
2005
Springer
Conventional virtual coupling is designed mainly for stabilizing the virtual environment (VE) and it thus may have poor performances. This paper proposes a novel adaptive virtual c...