Sciweavers

5671 search results - page 1131 / 1135
» A Semantic Approach to Interpolation
Sort
View
SPIN
2010
Springer
14 years 8 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
TKDE
2010
153views more  TKDE 2010»
14 years 8 months ago
Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation
—“Ontology matching” is the process of finding correspondences between entities belonging to different ontologies. This paper describes a set of algorithms that exploit uppe...
Viviana Mascardi, Angela Locoro, Paolo Rosso
TSC
2010
200views more  TSC 2010»
14 years 8 months ago
TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition
—Web Services are the most famous implementation of service oriented architectures that has brought some challenging research issues. One of these is the composition, i.e. the ca...
Joyce El Haddad, Maude Manouvrier, Marta Rukoz
CCS
2010
ACM
14 years 7 months ago
The limits of automatic OS fingerprint generation
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
David W. Richardson, Steven D. Gribble, Tadayoshi ...
87
Voted
MM
2010
ACM
158views Multimedia» more  MM 2010»
14 years 7 months ago
Image segmentation with patch-pair density priors
In this paper, we investigate how an unlabeled image corpus can facilitate the segmentation of any given image. A simple yet efficient multi-task joint sparse representation model...
Xiaobai Liu, Jiashi Feng, Shuicheng Yan, Hai Jin
« Prev « First page 1131 / 1135 Last » Next »