Sciweavers

Share
ICDCSW
2011
IEEE
7 years 10 months ago
Finding a "Kneedle" in a Haystack: Detecting Knee Points in System Behavior
—Computer systems often reach a point at which the relative cost to increase some tunable parameter is no longer worth the corresponding performance benefit. These “knees” t...
Ville Satopaa, Jeannie R. Albrecht, David Irwin, B...
ICASSP
2011
IEEE
8 years 2 months ago
On the design of matched orthonormal wavelets with compact support
We develop new algorithms for designing matched wavelets and matched scaling functions using a new parametrization of compactly supported orthonormal wavelets that is developed in...
Mohamed F. Mansour
ORL
2010
129views more  ORL 2010»
8 years 9 months ago
Additive envelopes of continuous functions
We present an iterative method for constructing additive envelopes of continuous functions on a compact set, with contact at a prespecified point. For elements of a class of subm...
Bruno H. Strulovici, Thomas A. Weber
ENTCS
2006
162views more  ENTCS 2006»
8 years 11 months ago
Continuous Functions on Final Coalgebras
It can be traced back to Brouwer that continuous functions of type StrA B, where StrA is the type of infinite streams over elements of A, can be represented by well founded, Abra...
Neil Ghani, Peter Hancock, Dirk Pattinson
AML
2010
118views more  AML 2010»
8 years 11 months ago
The modal logic of continuous functions on the rational numbers
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
Philip Kremer
CIE
2006
Springer
9 years 2 months ago
Inverting Monotone Continuous Functions in Constructive Analysis
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg
CCA
2009
Springer
9 years 3 months ago
On the Computability of Rectifiable Simple Curve (Extended Abstract)
d Abstract) Robert Rettinger1 and Xizhong Zheng2,3 1 Lehrgebiet Algorithmen und Komplexit
Robert Rettinger, Xizhong Zheng
IV
1999
IEEE
109views Visualization» more  IV 1999»
9 years 3 months ago
2D Texture Refinement Using Procedural Functions
In Computer Graphics, aliasing is a problem which is always present when discrete elements are mapped to continuous functions or vice-versa. Although there is no general solution ...
Esteban Walter Gonzalez Clua, Marcelo Dreux, Marce...
SIGMOD
2008
ACM
203views Database» more  SIGMOD 2008»
9 years 11 months ago
Querying continuous functions in a database system
Many scientific, financial, data mining and sensor network applications need to work with continuous, rather than discrete data e.g., temperature as a function of location, or sto...
Arvind Thiagarajan, Samuel Madden
VIS
2004
IEEE
87views Visualization» more  VIS 2004»
10 years 8 days ago
Local and Global Comparison of Continuous Functions
Herbert Edelsbrunner, John Harer, Vijay Natarajan,...
books