1699 search results - page 139 / 340 » On the Expressive Power of QLTL |
195
click to vote
ICMCS
2008
IEEE
16 years 28 days ago
2008
IEEE
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
201
click to vote
VTC
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— In previous work, we studied the structure and performance of optimum maximum-likelihood receivers for binary antipodal and orthogonal signals in the presence of Gaussi...
161
click to vote
GLOBECOM
2007
IEEE
16 years 24 days ago
2007
IEEE
— We consider about a multiple relay system operating under amplify-and-forward (AF) protocol and non-coherent modulation and demodulation. When the relays are under long-term po...
133
click to vote
IFIP
2007
Springer
16 years 19 days ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
194
click to vote
ERLANG
2006
ACM
16 years 13 days ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...