2647 search results - page 145 / 530 » Solving Term Inequalities |
176
click to vote
EVOW
2004
Springer
15 years 12 months ago
2004
Springer
Genetic Algorithms (GAs) are well-known heuristic algorithms and have been widely applied to solve combinatorial problems. Edge recombination is one of the famous crossovers design...
170
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
In this short paper, we present a location aware mobile game which lets users play a paper chase game on a mobile device. By using their physical movement and location in the real...
190
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
We investigate the use of the multistep successive preconditioning strategies (MSP) to construct a class of parallel multilevel sparse approximate inverse (SAI) preconditioners. W...
144
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
158
click to vote
EUROCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
A classical construction of stream ciphers is to combine several LFSRs and a highly non-linear Boolean function f. Their security is usually analysed in terms of correlation attack...