Sciweavers

1578 search results - page 170 / 316
» Algorithmic randomness of continuous functions
Sort
View
ICDT
2005
ACM
149views Database» more  ICDT 2005»
15 years 7 months ago
Approximately Dominating Representatives
We propose and investigate from the algorithmic standpoint a novel form of fuzzy query called approximately dominating representatives or ADRs. The ADRs of a multidimensional point...
Vladlen Koltun, Christos H. Papadimitriou
ICIP
1994
IEEE
15 years 6 months ago
Lossless Progressive Transmission of Scientific Data Using Biorthogonal Wavelet Transform
A new progressive transmission scheme using spline biorthogorial wavelet bases is proposed in this paper: First, several wavelet bases are compared with the spline biorthogonul nm...
Hai Tao, Robert J. Moorhead
ASPDAC
2007
ACM
158views Hardware» more  ASPDAC 2007»
15 years 6 months ago
Symbolic Model Checking of Analog/Mixed-Signal Circuits
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...
CCCG
2010
15 years 3 months ago
Hausdorff core of a one reflex vertex polygon
In this paper we present a polynomial time algorithm for computing a Hausdorff core of a polygon with a single reflex vertex. A Hausdorff core of a polygon P is a convex polygon Q...
Robert Fraser, Patrick K. Nicholson
OPODIS
2004
15 years 3 months ago
Clock Synchronization for Wireless Networks
Abstract. Time synchronization is a fundamental service in many wireless applications. While the synchronization problem is well-studied in traditional wired networks, physical con...
Rui Fan, Indraneel Chakraborty, Nancy A. Lynch