Sciweavers

1578 search results - page 170 / 316
» Algorithmic randomness of continuous functions
Sort
View
ICDT
2005
ACM
149views Database» more  ICDT 2005»
14 years 2 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
14 years 1 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»
14 years 29 days 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
13 years 10 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
13 years 10 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