5451 search results - page 55 / 1091 » Typed Operational Semantics |
118
click to vote
TCS
2008
15 years 2 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
133
Voted
PODS
2010
ACM
15 years 7 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
129
click to vote
IFIP12
2007
15 years 3 months ago
2007
In this paper previous work on the detection of high-level concepts within multimedia documents is extended by introducing a mid-level ontology as a means of exploiting the visual ...
149
Voted
HOTOS
2003
IEEE
15 years 7 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...