Sciweavers

14642 search results - page 116 / 2929
» It's Time for a Change
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
JMM2
2007
148views more  JMM2 2007»
15 years 6 months ago
Object Segmentation Using Background Modelling and Cascaded Change Detection
— The automatic extraction and analysis of visual information is becoming generalised. The first step in this processing chain is usually separating or segmenting the captured v...
Luís Filipe Teixeira, Jaime S. Cardoso, Lu&...
CVPR
2008
IEEE
16 years 8 months ago
Radiometric calibration with illumination change for outdoor scene analysis
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...
Seon Joo Kim, Jan-Michael Frahm, Marc Pollefeys
CHI
2006
ACM
16 years 6 months ago
Clipping lists and change borders: improving multitasking efficiency with peripheral information design
Information workers often have to balance many tasks and interruptions. In this work, we explore peripheral display techniques that improve multitasking efficiency by helping user...
Tara Matthews, Mary Czerwinski, George G. Robertso...
ISBI
2007
IEEE
16 years 23 days ago
3d Morphometric Changes 1 Year after Jaw Surgery
This paper presents image processing methods for the computation of morphometric changes associated with jaw surgery, precisely locating jaw displacements and quantitatively descr...
Lucia H. S. Cevidanes, Martin Andreas Styner, Ceib...