4930 search results - page 985 / 986 » Testing a Safety-Critical Application |
RECOMB
2011
Springer
12 years 9 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...
SIAMSC
2011
12 years 9 months ago
2011
Abstract. Adaptive multiscale methods are among the many effective techniques for the numerical solution of partial differential equations. Efficient grid management is an import...
SIGMOD
2011
ACM
12 years 9 months ago
2011
ACM
Information Extraction (IE) — the problem of extracting structured information from unstructured text — has become the key enabler for many enterprise applications such as sem...
CANDC
2011
ACM
12 years 6 months ago
2011
ACM
This paper describes a computerized aesthetic composition task that is based on a “creativity as search” metaphor. The technique collects detailed, moment-to-moment data about...
CCS
2011
ACM
12 years 6 months ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...