Sciweavers

5230 search results - page 496 / 1046
» Engineering of Computer Vision Algorithms Using Evolutionary...
Sort
View
OSS
2009
Springer
16 years 1 months ago
Estimating Commit Sizes Efficiently
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...
Philipp Hofmann, Dirk Riehle
VMCAI
2007
Springer
16 years 20 days ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
ASWEC
2005
IEEE
16 years 5 days ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
ICPR
2010
IEEE
16 years 6 days ago
Keyframe-Guided Automatic Non-Linear Video Editing
We describe a system for generating coherent movies from a collection of unedited videos. The generation process is guided by one or more input keyframes, which determine the cont...
Vaishnavi Rajgopalan, Ananth Ranganathan, Ramgopal...
ECCV
2004
Springer
16 years 8 months ago
Multiple View Feature Descriptors from Image Sequences via Kernel Principal Component Analysis
Abstract. We present a method for learning feature descriptors using multiple images, motivated by the problems of mobile robot navigation and localization. The technique uses the ...
Jason Meltzer, Ming-Hsuan Yang, Rakesh Gupta, Stef...