4930 search results - page 765 / 986 » Testing a Safety-Critical Application |
191
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
150
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
The identification and processing of similarities in the data play a key role in multiple application scenarios. Several types of similarity-aware operations have been studied in ...
281
Voted
DAS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
175
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
167
Voted
ICISP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Measurement of activation rates in cardiac electrograms is commonly done though estimating the frequency of the sinusoid with the greatest power. This frequency, commonly...