2858 search results - page 394 / 572 » Logics with Aggregate Operators |
166
click to vote
ARITH
2009
IEEE
16 years 1 months ago
2009
IEEE
Moduli of the form 2n ± 1, which greatly simplify certain arithmetic operations in residue number systems (RNS), have been of longstanding interest. A steady stream of designs fo...
134
click to vote
ISLPED
2009
ACM
16 years 29 days ago
2009
ACM
This paper explores the use of serial circuits for ultra-low-power sub-threshold systems. A serial system leads to a smaller design and higher utilization, yielding 40% active ene...
174
click to vote
HYBRID
2010
Springer
16 years 29 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
156
click to vote
AINA
2007
IEEE
16 years 24 days ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
152
click to vote
AIME
2007
Springer
16 years 19 days ago
2007
Springer
The goal of evidence-based medicine is to uniformly apply evidence gained from scientific research to aspects of clinical practice. In order to achieve this goal, new applications...