2685 search results - page 42 / 537 » A Formal Semantics for SPKI |
IFM
1999
Springer
14 years 7 hour ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
A knowledge representation formalism for SLU is introduced. It is used for incremental and partially automated annotation of the MEDIA corpus in terms of semantic structures. An a...
KBSE
1995
IEEE
13 years 11 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...