Sciweavers

3891 search results - page 27 / 779
» Toward nature-inspired computing
Sort
View
CONCUR
1992
Springer
13 years 11 months ago
Towards a Theory of Actor Computation
Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L....
CIE
2005
Springer
14 years 1 months ago
Towards Computability of Higher Type Continuous Data
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
Margarita V. Korovina, Oleg V. Kudinov