APN
2007
Springer
14 years 5 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
APN
2007
Springer
14 years 5 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
APN
2007
Springer
14 years 5 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
AIME
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Healthcare knowledge management is an active, yet not a well characterized research topic. In this chapter, we attempt to characterize healthcare knowledge management and...
AIIA
2007
Springer
14 years 5 months ago
2007
Springer
Structured Hidden Markov Model (S-HMM) is a variant of Hierarchical Hidden Markov Model that shows interesting capabilities of extracting knowledge from symbolic sequences. In fact...
AIME
2007
Springer
14 years 5 months ago
2007
Springer
Decision-making is a crucial aspect of emergency response during mass casualty incidents (MCIs). MCIs require rapid decisions to be taken by geographically-dispersed teams in an en...
AIME
2007
Springer
14 years 5 months ago
2007
Springer
Traditional Chinese medicine (TCM) is an important avenue for disease prevention and treatment for the Chinese people and is gaining popularity among others. However, many remain s...
AIME
2007
Springer
14 years 5 months ago
2007
Springer
AIME
2007
Springer
14 years 5 months ago
2007
Springer
This paper presents a novel method integrating gene-gene interaction information and Gene Ontology for the construction of new gene sets that are potentially enriched. Enrichment o...
AIME
2007
Springer
14 years 5 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...