11561 search results - page 1752 / 2313 » Open Distributed Processing |
184
click to vote
FORTE
1996
15 years 8 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
171
click to vote
NIPS
1994
15 years 8 months ago
1994
A self-organizing neural network for sequence classification called SARDNET is described and analyzed experimentally. SARDNET extends the Kohonen Feature Map architecture with act...
199
click to vote
AAAI
1990
15 years 8 months ago
1990
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
149
click to vote
DAGSTUHL
1990
15 years 8 months ago
1990
A connectionist model for robust reasoning, CONSYDERR, is proposed to account for some common reasoning patterns found in commonsense reasoning and to remedy the brittleness probl...
282
click to vote
DILS
2010
Springer
15 years 8 months ago
2010
Springer
Matching life science ontologies to determine ontology mappings has recently become an active field of research. The large size of existing ontologies and the application of comple...