Sciweavers

2525 search results - page 388 / 505
» A Framework for Semantic Gossiping
Sort
View
FOSSACS
2009
Springer
14 years 3 months ago
Coalgebraic Hybrid Logic
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
Rob Myers, Dirk Pattinson, Lutz Schröder
ISBI
2008
IEEE
14 years 3 months ago
Multimodal medical case retrieval using Bayesian networks and the Dezert-Smarandache theory
In this paper, we present a Case Based Reasoning (CBR) system for the retrieval of medical cases made up of a series of images with semantic information (such as the patient age, ...
Gwénolé Quellec, Mathieu Lamard, Lyn...
ICMCS
2007
IEEE
187views Multimedia» more  ICMCS 2007»
14 years 3 months ago
Knowledge-Assisted Medical Image Retrieval
In this paper, we present a knowledge-assisted approach to index and retrieve large volume of medical images. Both images and associated texts are indexed using medical concepts f...
Joo-Hwee Lim, Caroline Lacoste, Jean-Pierre Cheval...
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 3 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
ECTEL
2007
Springer
14 years 3 months ago
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst...