2661 search results - page 43 / 533 » A Semantics for Abstraction |
162
click to vote
ESWS
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Semantic Web technologies such as RDF are usually incorporated in the infrastructure of desktop and web applications and can currently not be entirely deployed on mobile ...
162
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Semantic similarity aims at establishing resemblance by interpreting the meaning of the objects being compared. The Semantic Web can benefit from semantic similarity in s...
203
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
151
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: The digital media and games industry is one of the biggest IT based industries worldwide. Recent observations therein showed that current production workflows may be pote...
152
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...