3804 search results - page 159 / 761 » From Here to There |
171
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
140
click to vote
AGP
1998
IEEE
15 years 10 months ago
1998
IEEE
Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natura...
136
click to vote
NIPS
2000
15 years 7 months ago
2000
In this work, we explore homeostasis in a silicon integrate-and-fire neuron. The neuron adapts its firing rate over long time periods on the order of seconds or minutes so that it...
164
click to vote
BILDMED
2009
15 years 7 months ago
2009
Designing multimodal visualizations combining anatomical and functional brain data is a demanding task. Jainek et al. [1] applied illustrative rendering techniques to obtain a high...
173
click to vote
MOC
1998
15 years 6 months ago
1998
Abstract. We consider numerical methods for a “quasi-boundary value” regularization of the backward parabolic problem given by ut + Au = 0 , 0 < t < T u(T ) = f, where A ...