5506 search results - page 683 / 1102 » Minimal Logic Programs |
129
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
We propose a method to minimize power dissipation in current-mode CMOS analog and multiple-valued logic (MVL) circuits employing a stack of current comparators. First, we present ...
175
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
170
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
—Nanoscale integrated circuits are becoming increasingly sensitive to radiation-induced transient faults (soft errors) due to current technology scaling trends, such as shrinking...
175
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
— When exploring computing elements made from technologies other than CMOS, it is imperative to investigate the effects of physical implementation constraints. This paper focuses...
185
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Robust Spoken Language Understanding (SLU) is a key component of spoken dialogue systems. Recent statistical approaches to this problem require additional resources (e.g. gazettee...