199 search results - page 23 / 40 » The Residue Logarithmic Number System: Theory and Implementa... |
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Multimedia applications usually have throughput constraints. An implementation must meet these constraints, while it minimizes resource usage and energy consumption. The compute i...
COLING
1996
14 years 11 months ago
1996
Two problematic issues in most lexicon systems today are their size and restricted domain of use. In this paper, we introduce a new approach to lexical organization that leads to ...
100
click to vote
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
NN
2006
Springer
14 years 9 months ago
2006
Springer
In theories of cognition that view the mind as a system of interacting agents, there must be mechanisms for aggregate decision-making, such as voting. Here we show that certain vo...
59
Voted
AO
2008
14 years 9 months ago
2008
Abstract. The rapid increase in the number and use of biological ontologies necessitates developing systems for their integration. In this paper we present a core ontology for biol...