2647 search results - page 145 / 530 » Solving Term Inequalities |
189
Voted
EVOW
2004
Springer
16 years 11 days 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...
187
click to vote
HT
2003
ACM
16 years 6 days 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...
204
click to vote
SC
2003
ACM
16 years 6 days 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...
156
click to vote
CAV
2003
Springer
16 years 6 days 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...
176
Voted
EUROCRYPT
2003
Springer
16 years 5 days 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...