7167 search results - page 1093 / 1434 » A Technique for Invariant Generation |
228
click to vote
ISADS
2003
IEEE
16 years 27 days ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
198
click to vote
ISMAR
2003
IEEE
16 years 27 days ago
2003
IEEE
We present a general method for real-time, visiononly single-camera simultaneous localisation and mapping (SLAM) — an algorithm which is applicable to the localisation of any ca...
211
click to vote
ISMAR
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper introduces a ”Diminished Reality” technique for removing an object or collection of objects and replacing it with an appropriate background image. Diminished Realit...
150
click to vote
ISQED
2003
IEEE
16 years 27 days ago
2003
IEEE
We present a new technique for generating compact dictionaries for cause-effect diagnosis in BIST. This approach relies on the use of three compact dictionaries: (i) D1, containin...
195
click to vote
ISSRE
2003
IEEE
16 years 27 days ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...