11397 search results - page 2012 / 2280 » A Relational Abstraction for Functions |
297
click to vote
TOPLAS
2008
15 years 7 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
280
click to vote
ICDM
2009
IEEE
15 years 5 months ago
2009
IEEE
The amount of text data on the Internet is growing at a very fast rate. Online text repositories for news agencies, digital libraries and other organizations currently store gigaan...
215
click to vote
ASPLOS
2012
ACM
14 years 3 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
251
Voted
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We propose a new bilateral filtering algorithm with computational
complexity invariant to filter kernel size, socalled
O(1) or constant time in the literature. By showing
that a...
232
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
Abstract. This paper presents a novel approach to unsupervised texture segmentation that relies on a very general nonparametric statistical model of image neighborhoods. The method...