4959 search results - page 407 / 992 » Imperative Functional Programming |
256
click to vote
TVLSI
2010
15 years 2 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
233
click to vote
JCC
2011
14 years 10 months ago
2011
: Docking is one of the most commonly used techniques in drug design. It is used for both identifying correct poses of a ligand in the binding site of a protein as well as for the ...
240
click to vote
CORR
2012
Springer
14 years 3 months ago
2012
Springer
This paper develops theoretical results regarding noisy 1-bit compressed sensing and sparse binomial regression. We demonstrate that a single convex program gives an accurate estim...
179
click to vote
ICIP
1995
IEEE
16 years 9 months ago
1995
IEEE
Receiver operating characteristics (ROC) curves have the property that they start at (0,l) and end at (1,O) and are monotonically decreasing. Furthermore, a parametric representat...
207
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Negation-limited circuits have been studied as a circuit model between general circuits and monotone circuits. In this paper, we consider limiting negations in formulas. The minimu...