Sciweavers

6142 search results - page 823 / 1229
» The Complexity of Partition Functions
Sort
View
DSN
2008
IEEE
15 years 8 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
ECAI
2008
Springer
15 years 8 months ago
Towards Efficient Belief Update for Planning-Based Web Service Composition
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
Jörg Hoffmann
ICANN
2007
Springer
15 years 8 months ago
Solving Selected Classification Problems in Bioinformatics Using Multilayer Neural Network Based on Multi-Valued Neurons (MLMVN)
A multilayer neural network based on multi-valued neurons (MLMVN) is a new powerful tool for solving classification, recognition and prediction problems. This network has a number ...
Igor N. Aizenberg, Jacek M. Zurada
EVOW
2008
Springer
15 years 8 months ago
An Evolutionary Approach for Ontology Driven Image Interpretation
Image mining and interpretation is a quite complex process. In this article, we propose to model expert knowledge on objects present in an image through an ontology. This ontology ...
Germain Forestier, Sébastien Derivaux, C&ea...