2957 search results - page 429 / 592 » Code analysis and CS-XML |
167
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
138
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We present sufficient conditions for stabilizability of an unstable linear time invariant scalar system across an additive white Gaussian noise channel, with a relay assisting the ...
258
click to vote
DCC
2011
IEEE
14 years 11 months ago
2011
IEEE
Quantizers for probabilistic sources are usually optimized for mean-squared error. In many applications, maintaining low relative error is a more suitable objective. This measure ...
161
click to vote
SOFTWARE
2011
14 years 11 months ago
2011
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...
171
click to vote
TCOM
2010
14 years 11 months ago
2010
Consider independent and identically distributed exponential random variables (r.vs) 1, 2, . . . , and positive scalars 1, 2, . . . , . In this letter, we present the probability...