5090 search results - page 428 / 1018 » Constructing Strategies for Programming |
171
click to vote
SPIESR
2000
15 years 8 months ago
2000
A method for lossless compression of large binary images is proposed for applications where spatial access to the image is needed. The method utilizes the advantages of (1) variabl...
125
click to vote
AMC
2005
15 years 6 months ago
2005
In this study wavelet based high-order Taylor Galerkin methods is introduced. Additional time layers are used to obtain high-order temporal accuracy unattainable within a two-step...
150
click to vote
CAI
2004
Springer
15 years 6 months ago
2004
Springer
The dual core strategy allows to construct a fail-silent processor from two instances (master/checker) of any arbitrary standard processor. Its main drawbacks are its vulnerability...
186
click to vote
TCS
2002
15 years 6 months ago
2002
We investigate Martin's game (as described in Arruda et al. (Eds.), On Random R. E. Sets, Non-Classical Logics, Model Theory and Computability, North-Holland, Amsterdam, 1977...
172
Voted
JOLLI
2010
15 years 5 months ago
2010
Abstract. When seeking to coordinate in a game with imperfect information, it is often relevant for a player to know what other players know. Keeping track of the information acqui...