3047 search results - page 279 / 610 » On the Meaning of Logical Completeness |
211
click to vote
ICC
2009
IEEE
16 years 2 months ago
2009
IEEE
—We study the energy performance of random linear network coding for time division duplexing channels. We assume a packet erasure channel with nodes that cannot transmit and rece...
246
click to vote
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
The structural similarity (SSIM) metric and its multi-scale extension (MS-SSIM) evaluate visual quality with a modied local measure of spatial correlation consisting of three c...
217
click to vote
AMC
2006
15 years 7 months ago
2006
We develop a multi-objective model for the resource allocation problem in a dynamic PERT network, where the activity durations are exponentially distributed random variables and t...
206
click to vote
ATAL
2000
Springer
15 years 12 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
324
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...