Sciweavers

5234 search results - page 566 / 1047
» Method Components - Rationale Revealed
Sort
View
ICPR
2000
IEEE
15 years 11 months ago
Video Cut Detection using Frequency Domain Correlation
A common video indexing technique is to segment a video sequence into shots and then select representative key-frames. The process of shot break detection is a fundamental compone...
Sarah V. Porter, Majid Mirmehdi, Barry T. Thomas
ISSTA
2000
ACM
15 years 11 months ago
OMEN: A strategy for testing object-oriented software
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
Amie L. Souter, Lori L. Pollock
189
Voted
RTCSA
1999
IEEE
15 years 11 months ago
Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...
Tommy Klevin, Lennart Lindh
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 11 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
VISUALIZATION
1999
IEEE
15 years 11 months ago
Construction of Vector Field Hierarchies
We present a method for the hierarchical representation of vector fields. Our approach is based on iterative refinement using clustering and principal component analysis. The inpu...
Bjørn Heckel, Gunther H. Weber, Bernd Haman...