Sciweavers

5170 search results - page 376 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
CALCO
2007
Springer
110views Mathematics» more  CALCO 2007»
16 years 1 months ago
Logical Semantics of Types for Concurrency
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
Luís Caires
ISPE
2003
15 years 8 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
WEBI
2010
Springer
15 years 4 months ago
A Scalable Indexing Mechanism for Ontology-Based Information Integration
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...
Yingjie Li, Abir Qasem, Jeff Heflin
SIBGRAPI
2003
IEEE
16 years 3 days ago
Using Efficient Visual Exploration Techniques to Evaluate Features for Content-Based Image Retrieval
This paper presents a novel visual approach to evaluate, in a fast and effective way, the development of new image feature extraction techniques concerning content-based image ret...
José Fernando Rodrigues Jr., César A...
AIRS
2006
Springer
15 years 10 months ago
A Semantic Fusion Approach Between Medical Images and Reports Using UMLS
One of the main challenges in content-based image retrieval still remains to bridge the gap between low-level features and semantic information. In this paper, we present our first...
Daniel Racoceanu, Caroline Lacoste, Roxana Teodore...