Sciweavers

436 search results - page 24 / 88
» A Note on Negligible Functions
Sort
View
ICIAP
2007
ACM
14 years 8 months ago
A High Performance Exact Histogram Specification Algorithm
Real-time histogram specification methods aims to find a continuous function that transforms a source image to match a target distribution with the highest possible degree of accu...
Alessandro Bevilacqua, Pietro Azzari

Book
269views
15 years 6 months ago
Type Systems for Programming Languages
"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is ...
Robert Harper
LICS
1996
IEEE
14 years 19 days ago
Completing Partial Combinatory Algebras With Unique Head-Normal Forms
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
ARSCOM
2008
103views more  ARSCOM 2008»
13 years 8 months ago
Estimating the number of graphs containing very long induced paths
Let P(n, k) denote the number of graphs on n + k vertices that contain Pn, a path on n vertices, as an induced subgraph. In this note we will find upper and lower bounds for P(n, ...
Steven Butler
ENTCS
2008
106views more  ENTCS 2008»
13 years 8 months ago
Computability and Representations of the Zero Set
In this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representati...
Pieter Collins