8766 search results - page 1496 / 1754 » Functional logic programming |
124
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We provide a novel formulation for computing median filter with spatial regularization as minimizing a cost function composed of absolute value norms. We turn this cost minimizat...
182
Voted
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 ...
155
Voted
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...
197
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 ...
187
Voted
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...