500 search results - page 47 / 100 » Coalgebraic semantics for timed processes |
WWW
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we propose a Collaborative Knowledge Semantic Graphs Image Search (CKSGIS) system. It provides a novel way to conduct image search by utilizing the collaborative na...
GPC
2008
Springer
13 years 11 months ago
2008
Springer
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. With the...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
BMCBI
2008
13 years 10 months ago
2008
Background: Protein remote homology detection and fold recognition are central problems in bioinformatics. Currently, discriminative methods based on support vector machine (SVM) ...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...