Sciweavers

4212 search results - page 173 / 843
» Rights Expression Languages
Sort
View
CORR
2000
Springer
103views Education» more  CORR 2000»
15 years 6 months ago
Towards a query language for annotation graphs
The multidimensional, heterogeneous, and temporal nature of speech databases raises interesting challenges for representation and query. Recently, annotation graphs have been prop...
Steven Bird, Peter Buneman, Wang Chiew Tan
ENTCS
2002
83views more  ENTCS 2002»
15 years 6 months ago
Operational Semantics for Functional Logic Languages
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
EDBT
2002
ACM
138views Database» more  EDBT 2002»
16 years 6 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
POLICY
2007
Springer
16 years 17 days ago
CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies
Abstract— We present the Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that opportunistically sha...
Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Ru...
LICS
2005
IEEE
16 years 19 hour ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...