69 search results - page 12 / 14 » The surplus value of semantic annotations |
143
Voted
SDL
2001
15 years 4 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
154
Voted
IFIP12
2009
15 years 1 months ago
2009
Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products etc.). Social tagging...
140
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
218
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
128
Voted
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...