Sciweavers

4629 search results - page 267 / 926
» Space Kernel Analysis
Sort
View
VMCAI
2004
Springer
15 years 12 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
SCALESPACE
1999
Springer
15 years 10 months ago
A Scale-Space Based Approach for Deformable Contour Optimization
Abstract. Multiresolution techniques are often used to shorten the execution times of dynamic programming based deformable contour optimization methods by decreasing the image reso...
Yusuf Sinan Akgul, Chandra Kambhamettu
MM
1994
ACM
101views Multimedia» more  MM 1994»
15 years 10 months ago
Video Mosaic: Laying Out Time in a Physical Space
Paper video storyboards are still in use by even very experienced video producers with access to the most advanced video editing software. An analysis of the characteristics of pa...
Wendy E. Mackay, Daniele Pagani
ACCV
2009
Springer
15 years 10 months ago
Efficient Scale-Space Spatiotemporal Saliency Tracking for Distortion-Free Video Retargeting
Video retargeting aims at transforming an existing video in order to display it appropriately on a target device, often in a lower resolution, such as a mobile phone. To preserve a...
Gang Hua, Cha Zhang, Zicheng Liu, Zhengyou Zhang, ...
FCT
2009
Springer
15 years 10 months ago
Reachability in K3, 3-Free Graphs and K5-Free Graphs Is in Unambiguous Log-Space
We show that the reachability problem for directed graphs that are either K3,3-free or K5-free is in unambiguous log-space, UL coUL. This significantly extends the result of Bour...
Thomas Thierauf, Fabian Wagner