980 search results - page 18 / 196 » On Negative Bases |
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
JIPS
2006
13 years 7 months ago
2006
: This paper presents a feature selection technique based on distributional differences for efficient machine learning. Initial training data consists of data including many featur...
RTA
1999
Springer
13 years 12 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We present an efficient algorithm for power allocation and bit loading in multi-user OFDM system. We starts with the close-form optimum power solution based on ideal c...
WIOPT
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—In recent years there has been an increasing awareness that the deployment as well as utilization of new information technology may have some negative ecological impact....