2296 search results - page 69 / 460 » The Expressive Power of Synchronizations |
134
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
121
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
122
click to vote
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. The recent availability of large scale data sets profiling single nucleotide polymorphisms (SNPs) and gene expression across different human populations, has directed muc...
153
Voted
IWCMC
2009
ACM
15 years 10 months ago
2009
ACM
We derive theoretical bit and frame error rate expressions for decode-and-forward (DF) collaborative networks containing M users, employing a variety of block codes over a Rayleig...