1486 search results - page 290 / 298 » A Logically Saturated Extension of |
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
CLA
2007
13 years 10 months ago
2007
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
LBM
2007
13 years 10 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
SEMWIKI
2008
13 years 10 months ago
2008
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...