21342 search results - page 3772 / 4269 » A Structured Language Model |
183
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
141
click to vote
TON
2012
13 years 7 months ago
2012
—The inherent measurement support in routers (SNMP counters or NetFlow) is not sufficient to diagnose performance problems in IP networks, especially for flow-specific problem...
144
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: MicroRNAs (miRNAs) play an essential task in gene regulatory networks by inhibiting the expression of target mRNAs. As their mRNA targets are genes involved in importa...
131
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
This paper describes the derivation of probability of correctness from scores assigned by most recognizers. Motivation for this research is three-fold: i probability values can be...
351
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Auditing the changes to a database is critical for identifying malicious behavior, maintaining data quality, and improving system performance. But an accurate audit log is a histor...