Sciweavers

2805 search results - page 383 / 561
» Modeling Memory for Melodies
Sort
View
PATMOS
2004
Springer
15 years 12 months ago
Optimal Logarithmic Representation in Terms of SNR Behavior
This paper investigates the Signal-to-Noise Ratio (SNR) performance of the Logarithmic Number System (LNS) representation against the SNR performance of the fixed-point representa...
Panagiotis D. Vouzis, Vassilis Paliouras
SAT
2004
Springer
95views Hardware» more  SAT 2004»
15 years 12 months ago
Local Search for Very Large SAT Problems
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
Steven David Prestwich, Colin Quirke
ARITH
2003
IEEE
15 years 12 months ago
The Case for a Redundant Format in Floating Point Arithmetic
This work uses a partially redundant number system as an internal format for floating point arithmetic operations. The redundant number system enables carry free arithmetic opera...
Hossam A. H. Fahmy, Michael J. Flynn
CA
2003
IEEE
15 years 12 months ago
Bottom-Up Visual Attention for Virtual Human Animation
We present a system for the automatic generation of bottom-up visual attention behaviours in virtual humans. Bottom-up attention refers to the way in which the environment solicit...
Christopher Peters, Carol O'Sullivan
IPPS
2003
IEEE
15 years 12 months ago
Performance Prediction of Paging Workloads Using Lightweight Tracing
A trace of a workload’s system calls can be obtained with minimal interference, and can be used to drive repeatable experiments to evaluate system configuration alternatives. R...
Ariel N. Burton, Paul H. J. Kelly