6299 search results - page 1167 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
166
Voted
JCNS
2000
15 years 6 months ago
2000
We have developed a novel and simple mathematical model of a slow excitatory postsynaptic potential ased on an abstraction of the processes of activation, inactivation, and summati...
157
click to vote
IJCM
2002
15 years 5 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
184
click to vote
IS
1998
15 years 5 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
136
click to vote
TODAES
1998
15 years 5 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
170
click to vote
TON
2002
15 years 5 months ago
2002
Abstract--Research on congestion-control algorithms has traditionally focused more on performance than on robustness of the closed-loop system to changes in network conditions. As ...