Sciweavers

7921 search results - page 97 / 1585
» LSH-preserving functions and their applications
Sort
View
CORR
2011
Springer
183views Education» more  CORR 2011»
14 years 4 months ago
Reconstruction of Binary Functions and Shapes from Incomplete Frequency Information
The characterization of a binary function by partial frequency information is considered. We show that it is possible to reconstruct the binary signal from incomplete frequency me...
Yu Mao
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 4 months ago
A Formalization of Polytime Functions
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Sylvain Heraud, David Nowak
ICPR
2008
IEEE
15 years 11 months ago
Preceding car tracking using belief functions and a particle filter
This article presents a preceding car rear view tracking algorithm which utilizes a particle filter and belief function data fusion. Most of tracking applications resort to only o...
Christèle Lecomte, John Klein, Pierre Mich&...
DAC
2006
ACM
15 years 11 months ago
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, ...
152
Voted
VLDB
2007
ACM
104views Database» more  VLDB 2007»
15 years 10 months ago
Inverse Functions in the AquaLogic Data Services Platform
When integrating data from heterogeneous sources, it is often necessary to transform both the schemas and the data from the underlying sources in order to present the integrated d...
Nicola Onose, Vinayak R. Borkar, Michael J. Carey