276 search results - page 36 / 56 » Constraint Propagation as a Proof System |
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
- As a primary technology for broadband wireless access (BWA), mobile WiMAX, recently has gained tremendous momentum in the industrial and academic sectors. However, due to signifi...
PRDC
2007
IEEE
14 years 1 months ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...
IJCNN
2000
IEEE
14 years 2 days 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...
IWSAS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...