Sciweavers

8795 search results - page 1299 / 1759
» Measuring Generality of Documents
Sort
View
FM
2009
Springer
123views Formal Methods» more  FM 2009»
16 years 1 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
FSTTCS
2009
Springer
16 years 1 months ago
Non-Local Box Complexity and Secure Function Evaluation
ABSTRACT. A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distribu...
Marc Kaplan, Iordanis Kerenidis, Sophie Laplante, ...
GECCO
2009
Springer
16 years 1 months ago
The relationship between evolvability and bloat
Bloat is a common problem with Evolutionary Algorithms (EAs) that use variable length representation. By creating unnecessarily large individuals it results in longer EA runtimes ...
Jeffrey K. Bassett, Mark Coletti, Kenneth A. De Jo...
ICAPR
2009
Springer
16 years 1 months ago
Distraction Free Evolution of Active Contours
We propose a novel energy term to make the curve evolution quite robust to spurious edges. The physical intuition behind the formulation is that an object edge is generally contin...
Viswanathan Srikrishnan, Subhasis Chaudhuri
ICIAR
2009
Springer
16 years 1 months ago
The Use of Residuals in Image Denoising
Abstract. State-of-the-art image denoising algorithms attempt to recover natural image signals from their noisy observations, such that the statistics of the denoised image follow ...
Dominique Brunet, Edward R. Vrscay, Zhou Wang
« Prev « First page 1299 / 1759 Last » Next »