2721 search results - page 233 / 545 » An experimental analysis of Lemke-Howson algorithm |
186
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
231
click to vote
GECCO
2011
Springer
14 years 9 months ago
2011
Springer
In continuous optimisation, surrogate models (SMs) are used when tackling real-world problems whose candidate solutions are expensive to evaluate. In previous work, we showed that...
321
click to vote
JCDL
2011
ACM
14 years 9 months ago
2011
ACM
Various approaches for plagiarism detection exist. All are based on more or less sophisticated text analysis methods such as string matching, fingerprinting or style comparison. I...
353
click to vote
IHI
2012
14 years 1 months ago
2012
Despite recent progress in high-throughput experimental studies, systems level visualization and analysis of large protein interaction networks (ppi) remains a challenging task, g...
227
click to vote
SI3D
2012
ACM
14 years 1 months ago
2012
ACM
In Virtual Environments (VE), users are often facing tasks that involve direct manipulation of virtual objects at close distances, such as touching, grabbing, placement. In immers...