3335 search results - page 393 / 667 » Grid result checking |
150
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...
167
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We present an improved thresholding LDPC decoding algorithm which outperforms the Split-Row and original Split-Row Threshold decoders with a small increase in hardware....
176
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
173
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
159
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Many practical optimization problems are constrained black boxes. Covariance Matrix Adaptation Evolution Strategies (CMA-ES) belong to the most successful black box optimization me...