2686 search results - page 226 / 538 » Testing metric properties |
155
click to vote
ZUM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
157
click to vote
ATVA
2004
Springer
16 years 12 hour ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
204
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
154
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents an alternative to distance-based neural networks. A distance measure is the underlying property on which many neural models rely, for example self-organizing ma...
180
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...