4719 search results - page 708 / 944 » Spreadsheet functional programming |
185
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In image resizing process, preserving structure on an image is important to produce plausible results. We proposed seam merging, a seam-carving-based image resizing method, and a ...
159
click to vote
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
202
click to vote
AADA
2011
14 years 3 months ago
2011
We introduce a variational approach to image segmentation based on sparse coverings of image domains by shape templates. The objective function combines a data term that achieves ...
190
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—Motion sensing input devices like Microsoft’s Kinect offer an alternative to traditional computer input devices like keyboards and mouses. Daily new applications using this in...
151
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
Geometric reconstruction problems in computer vision are often solved by minimizing a cost function that combines the reprojection errors in the 2D images. In this paper, we show t...