2539 search results - page 91 / 508 » Semantic frameworks for e-government |
RIAO
2007
15 years 1 months ago
2007
According to some current thinking, a very large number of semantic concepts could provide researcher a novel way to characterize video and be utilized for video retrieval and und...
JLP
2010
14 years 6 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
113
click to vote
SEMCO
2009
IEEE
15 years 6 months ago
2009
IEEE
The paper surveys some relevant issues related to data management in pervasive environments. Particularly, it focuses on the compression of semantic annotations for building so ca...
ASM
2003
ASM
15 years 5 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
MSCS
2007
14 years 11 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...