1870 search results - page 241 / 374 » Abstract And-Parallel Machines |
GC
2004
Springer
14 years 1 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
ICCSA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Many problems in computer science are related to scheduling problems or embedding problems. Therefore it is an interesting topic to find efficient (approximation) algori...
ICTAC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...
IEAAIE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The aim of our research was to apply well-known data mining techniques (such as linear neural networks, multi-layered perceptrons, probabilistic neural networks, classifi...