20441 search results - page 429 / 4089 » Locally Computable Structures |
165
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
176
click to vote
HPCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We consider query execution strategies for object-oriented distributed databases. There are several scenarios of query decomposition, assuming that the corresponding quer...
156
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. To make effective use of distributed information, it is desirable to allow coordination and collaboration among various information sources. This paper deals with cluster...
158
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
215
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
: This paper describes a rather novel method for the supervised training of regression systems that can be an alternative to feedforward Artificial Neural Networks (ANNs) trained w...