Sciweavers

5671 search results - page 796 / 1135
» A Semantic Approach to Interpolation
Sort
View
SYNTHESE
2011
77views more  SYNTHESE 2011»
15 years 1 months ago
E. W. Beth as a philosopher of physics
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...
Dennis Dieks
CVPR
2011
IEEE
14 years 10 months ago
Kernelized Structural SVM Learning for Supervised Object Segmentation
Object segmentation needs to be driven by top-down knowledge to produce semantically meaningful results. In this paper, we propose a supervised segmentation approach that tightly ...
Luca Bertelli, Tianli Yu, Diem Vu, Salih Gokturk
PLDI
2006
ACM
16 years 24 days ago
SAFECode: enforcing alias analysis for weakly typed languages
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve
EKAW
2008
Springer
15 years 8 months ago
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
Christian Meilicke, Johanna Völker, Heiner St...
SEMWEB
2010
Springer
15 years 4 months ago
An Expressive and Efficient Solution to the Service Selection Problem
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...
Daniel Izquierdo, Maria-Esther Vidal, Blai Bonet