3384 search results - page 241 / 677 » More Testable 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 3 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...
193
click to vote
BIOADIT
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
190
click to vote
CINQ
2004
Springer
16 years 46 min ago
2004
Springer
The subfield of itemset mining is essentially a collection of algorithms. Whenever a new type of constraint is discovered, a specialized algorithm is proposed to handle it. All o...
189
click to vote
CIVR
2004
Springer
16 years 23 min ago
2004
Springer
We describe an original method for selecting key frames to represent the content of every shot in a video. We aim at spatially sampling in an uniform way the coverage of the scene ...