Sciweavers

5671 search results - page 146 / 1135
» A Semantic Approach to Interpolation
Sort
View
SEMWEB
2004
Springer
14 years 3 months ago
Opening Up Magpie via Semantic Services
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
Martin Dzbor, Enrico Motta, John Domingue
JUCS
2008
172views more  JUCS 2008»
13 years 10 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
MTA
2010
85views more  MTA 2010»
13 years 8 months ago
Investigating fuzzy DLs-based reasoning in semantic image analysis
Recent advances in semantic image analysis have brought forth generic methodologies to support concept learning at large scale. The attained performance however is highly variable,...
Stamatia Dasiopoulou, Ioannis Kompatsiaris, Michae...
CVPR
2008
IEEE
15 years 6 days ago
Coherent image annotation by learning semantic distance
Conventional approaches to automatic image annotation usually suffer from two problems: (1) They cannot guarantee a good semantic coherence of the annotated words for each image, ...
Tao Mei, Yong Wang, Xian-Sheng Hua, Shaogang Gong,...
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
14 years 7 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...