Sciweavers

891 search results - page 122 / 179
» Towards Reasoning Pragmatics
Sort
View
PVLDB
2008
119views more  PVLDB 2008»
14 years 10 months ago
Comparing and evaluating mapping systems with STBenchmark
Schema mappings are fundamental building blocks in many information integration applications. Designing mappings is a timeconsuming process and for that reason many mapping system...
Bogdan Alexe, Wang Chiew Tan, Yannis Velegrakis
ISOLA
2010
Springer
14 years 10 months ago
A Theory of Mediators for Eternal Connectors
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
Paola Inverardi, Valérie Issarny, Romina Sp...
MICCAI
2010
Springer
14 years 10 months ago
Guide-Wire Extraction through Perceptual Organization of Local Segments in Fluoroscopic Images
Segmentation of surgical devices in fluoroscopic images and in particular of guide-wires is a valuable element during surgery. In cardiac angioplasty, the problem is particularly ...
Nicolas Honnorat, Régis Vaillant, Nikos Par...
CORR
2010
Springer
96views Education» more  CORR 2010»
14 years 6 months ago
Quantifying Information Leakage in Finite Order Deterministic Programs
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
Ji Zhu, Mudhakar Srivatsa
SEMWEB
2010
Springer
14 years 6 months ago
Semantic search on the Web
Web search is a key technology of the Web, since it is the primary way to access content on the Web. Current standard Web search is essentially based on a combination of textual ke...
Bettina Fazzinga, Thomas Lukasiewicz