89222 search results - page 7 / 17845 » Which |
DDECS
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper describes a new self-testing 1-bit full adder. This circuit consists of three polymorphic NAND/NOR gates, two XOR gates and two inverters. The adder is able to detec...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— In this paper, Virtual Power Limiter System is proposed. This makes it possible to guarantee the stability of almost all control systems which include unknown character...
ACL
2008
13 years 9 months ago
2008
In this work, we develop and evaluate a wide range of feature spaces for deriving Levinstyle verb classifications (Levin, 1993). We perform the classification experiments using Ba...
DM
2008
13 years 7 months ago
2008
In the present note, we investigate schemes S in which each element s satisfies ns 2 and nss = 2. We show that such a scheme is schurian. More precisely, we show that it is isomor...
APAL
2006
13 years 7 months ago
2006
We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality whe...