7715 search results - page 1395 / 1543 » Visual Rules Modeling |
154
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
— Collaborative spectrum sensing among secondary users (SUs) in cognitive networks is shown to yield a significant performance improvement. However, there exists an inherent tra...
158
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
113
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...
135
click to vote
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
130
click to vote
CISS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We consider the network control problem for wireless networks with flow level dynamics under the general k-hop interference model. In particular, we investigate the co...