6020 search results - page 747 / 1204 » A New Approach to Model Counting |
179
click to vote
APCCAS
2006
IEEE
16 years 27 days ago
2006
IEEE
— In recent years, several approaches have been proposed aiming the optimal joint design of finite impulse response (FIR) multiple-input multiple-output (MIMO) transmitter and r...
169
click to vote
DCOSS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a distributed, localized and integrated approach for establishing both low-level (i.e. exploration of 1-hop neighbors, interference avoidance) and high-level (...
166
click to vote
ICMI
2005
Springer
16 years 10 days ago
2005
Springer
This paper addresses the problem of detecting interaction groups in an intelligent environment. To understand human activity, we need to identify human actors and their interperso...
145
click to vote
VISUALIZATION
2003
IEEE
16 years 2 days ago
2003
IEEE
Weather visualization is a difficult problem because it comprises volumetric multi-field data and traditional surface-based approaches obscure details of the complex three-dimen...
165
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...