Sciweavers

10275 search results - page 160 / 2055
» Case Studies of Autonomy
Sort
View
ICFEM
2009
Springer
15 years 11 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel
IWINAC
2009
Springer
15 years 11 months ago
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
Guido Sciavicco, José M. Juárez, Man...
SEMWEB
2009
Springer
15 years 11 months ago
A Case Study in Integrating Multiple E-commerce Standards via Semantic Web Technology
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...
Yang Yu, Donald Hillman, Basuki Setio, Jeff Heflin
SEMWEB
2009
Springer
15 years 11 months ago
Scalable Matching of Industry Models - a Case Study
A recent approach to the problem of ontology matching has been to convert the problem of ontology matching to information retrieval. We explore the utility of this approach in matc...
Brian Byrne, Achille Fokoue, Aditya Kalyanpur, Kav...