1071 search results - page 47 / 215 » Modelling Ontology Evaluation and Validation |
EPEW
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Ontology learning is an important task in Artificial Intelligence, Semantic Web and Text Mining. This paper presents a novel framework for, and solutions to, three practical probl...
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
The immaturity of current intrusion detection techniques limits the traditional security systems in surviving malicious attacks. Intrusion tolerance approaches have emerged to over...
CMG
2003
13 years 9 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...