3394 search results - page 499 / 679 » A Modal Model of Memory |
176
Voted
LATIN
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
180
Voted
PATMOS
2004
Springer
16 years 10 days ago
2004
Springer
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...
158
click to vote
SAT
2004
Springer
16 years 10 days ago
2004
Springer
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...
177
Voted
ARITH
2003
IEEE
16 years 9 days ago
2003
IEEE
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...
200
Voted
CA
2003
IEEE
16 years 9 days ago
2003
IEEE
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...