Sciweavers

2525 search results - page 388 / 505
» A Framework for Semantic Gossiping
Sort
View
FOSSACS
2009
Springer
16 years 18 days 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
169
Voted
ISBI
2008
IEEE
16 years 6 days 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...
200
Voted
ICMCS
2007
IEEE
187views Multimedia» more  ICMCS 2007»
16 years 3 days 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...
175
Voted
BPM
2007
Springer
201views Business» more  BPM 2007»
16 years 19 min 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...
155
Voted
ECTEL
2007
Springer
15 years 12 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...