1411 search results - page 197 / 283 » Interactive Coding for Interactive Proofs |
115
click to vote
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
ACSC
2006
IEEE
15 years 3 months ago
2006
IEEE
Malware — a generic term that encompasses viruses, trojans, spywares and other intrusive code — is widespread today. Malware analysis is a multi-step process providing insight...
BMCBI
2006
14 years 10 months ago
2006
Background: The splicing of RNA transcripts is thought to be partly promoted and regulated by sequences embedded within exons. Known sequences include binding sites for SR protein...
107
click to vote
PDP
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Continuously reducing transistor sizes and aggressive low power operating modes employed by modern architectures tend to increase transient error rates. Concurrently, mu...
ICML
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes an approach to automatically learn planning operators by observing expert solution traces and to further refine the operators through practice in a learning-b...