Sciweavers

2539 search results - page 372 / 508
» Semantic frameworks for e-government
Sort
View
PCM
2001
Springer
144views Multimedia» more  PCM 2001»
15 years 11 months ago
Search for Multi-modality Data in Digital Libraries
Developing effective and efficient retrieval techniques for multimedia data is a challenging issue in building a digital library. Unlike most previously proposed retrieval approac...
Jun Yang 0003, Yueting Zhuang, Qing Li
PKDD
2001
Springer
185views Data Mining» more  PKDD 2001»
15 years 11 months ago
Temporal Rule Discovery for Time-Series Satellite Images and Integration with RDB
Feature extraction and knowledge discovery from a large amount of image data such as remote sensing images have become highly required recent years. In this study, a framework for ...
Rie Honda, Osamu Konishi
SEMWEB
2001
Springer
15 years 11 months ago
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
Drew V. McDermott, Mark H. Burstein, Douglas R. Sm...
CSFW
2000
IEEE
15 years 11 months ago
C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
Anthony H. Dekker
RTSS
1999
IEEE
15 years 10 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...