2647 search results - page 145 / 530 » Solving Term Inequalities |
142
click to vote
EVOW
2004
Springer
15 years 10 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...
139
click to vote
HT
2003
ACM
15 years 9 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...
162
click to vote
SC
2003
ACM
15 years 9 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...
113
Voted
CAV
2003
Springer
15 years 9 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...
133
Voted
EUROCRYPT
2003
Springer
15 years 9 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...