4716 search results - page 706 / 944 » Tangible functional programming |
149
click to vote
ICASSP
2011
IEEE
14 years 2 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 ...
116
click to vote
FOSSACS
2011
Springer
14 years 2 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...
142
click to vote
AADA
2011
13 years 11 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 ...
101
click to vote
INFOCOM
2012
IEEE
13 years 1 months ago
2012
IEEE
Abstract—Network power consumption can be reduced considerably by adapting link data rates to their offered traffic loads. In this paper, we exploit how to leverage rate adaptat...
101
click to vote
TKDE
2012
13 years 1 months ago
2012
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....