2268 search results - page 191 / 454 » The Essence of Form Abstraction |
122
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—The Nakagami-lognormal distribution is the commonly used composite distribution for modeling multipath fading and shadowing. In this paper1 , simple and new form of dist...
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper presents a new upper bound on the endto-end signal-to-noise ratio (SNR) of channel-assisted amplifyand-forward (AF) multi-hop relay networks. The harmonic mea...
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract-- Frequency invariant beamforming with sensor arrays is generally achieved using filters in the form of tapped delay-lines following each sensor. However it has been recen...
111
Voted
ALGOSENSORS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Due to their small form factor and modest energy budget, individual sensors are not expected to be GPS-enabled. Moreover, in most applications, exact geographic location ...