2525 search results - page 81 / 505 » A Framework for Semantic Gossiping |
210
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
128
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
175
click to vote
RIAO
2007
15 years 7 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...
200
click to vote
SEMCO
2009
IEEE
16 years 1 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...
171
click to vote
ASM
2003
ASM
15 years 11 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...