5350 search results - page 300 / 1070 » Space and time in eco-ontologies |
181
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
140
click to vote
ICVGIP
2008
15 years 8 months ago
2008
Color harmonization is an artistic technique to adjust the colors of a given image in order to enhance their visual harmony. In this paper, we present a method to automatically im...
167
click to vote
NIPS
2007
15 years 8 months ago
2007
We propose a new measure of conditional dependence of random variables, based on normalized cross-covariance operators on reproducing kernel Hilbert spaces. Unlike previous kernel...
171
click to vote
SODA
2000
ACM
15 years 8 months ago
2000
ACM
This paper shows that the minimum ratio canceling algorithm of Wallacher (1989) (and a faster relaxed version) can be generalized to an algorithm for general linear programs with ...
150
click to vote
CCCG
1996
15 years 8 months ago
1996
We present in this paper a simple yet e cient algorithm for stabbing a set S of n axisparallel boxes in d-dimensional space with c(S) points in output-sensitive time O(dn log c(S)...