1188 search results - page 124 / 238 » States of Knowledge |
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
The present paper deals with dynamic resource management based on quantized channel state information (CSI) for multi-carrier cognitive radio networks comprising primary and secon...
TABLETOP
2008
IEEE
15 years 5 months ago
2008
IEEE
Knowledge workers often undertake tasks that involve a variety of information artifacts, including both paper and digital documents. In this paper, we first summarize findings fro...
CBMS
2007
IEEE
15 years 5 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
Law enforcement agents at the local, state, and Federal levels have informed us of backlogs of computer-related crime cases ranging from 18 months to three years. The primary caus...