57 search results - page 3 / 12 » A Logical Mix of Approximation and Separation |
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
In this paper we present a novel approach to describe sound mixtures which is based on a geometric viewpoint. In this approach we extend the idea of a nearest-neighbor representat...
SIGIR
2008
ACM
13 years 5 months ago
2008
ACM
Web pages, like people, are often known by others in a variety of contexts. When those contexts are sufficiently distinct, a page's importance may be better represented by mu...
ICASSP
2009
IEEE
14 years 7 days ago
2009
IEEE
Abstract— The paper considers the algorithm NLU for distributed (vector) parameter estimation in sensor networks, where, the local observation models are nonlinear, and inter-sen...
ASPDAC
2007
ACM
13 years 9 months ago
2007
ACM
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...
MOC
2011
13 years 13 days ago
2011
Abstract. Various applications in uid dynamics and computational continuum mechanics motivate the development of reliable and e cient adaptive algorithms for mixed nite element m...