12981 search results - page 2173 / 2597 » Model Checking (Abstract) |
154
click to vote
BC
2004
15 years 6 months ago
2004
Abstract. The neural circuits of birdsong appear to utilize specific time delays in their operation. In particular, the anterior forebrain pathway (AFP) is implicated in an approxi...
144
click to vote
BC
2002
15 years 6 months ago
2002
Abstract. Recent experimental observations of spiketiming-dependent synaptic plasticity (STDP) have revitalized the study of synaptic learning rules. The most surprising aspect of ...
212
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
The ongoing convergence between TV and the Internet leads traditional broadcast companies to publish their content on the Internet. Interactive digital TV platforms, which support...
196
click to vote
DSS
2000
15 years 6 months ago
2000
Abstract. The simple model on which the Internet has operated, with all packets treated equally, and charges only for access links to the network, has contributed to its explosive ...
178
click to vote
JOC
2000
15 years 6 months ago
2000
Abstract. Since the appearance of public-key cryptography in the seminal DiffieHellman paper, many new schemes have been proposed and many have been broken. Thus, the simple fact t...