431 search results - page 34 / 87 » Abstract Data Types in Computer Algebra |
120
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
114
Voted
BROADNETS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
114
click to vote
ICANN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We have built a realistic computational model of the cerebellum. This model simulates the cerebellar cortex of the size 0.5mm×1mm consisting of several types of neurons,...
92
Voted
IWANN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Intracellular recordings obtained under cutaneous and lemniscal stimulation show that the afferent fibers can establish excitatory and inhibitory synaptic connections w...
103
Voted
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...