2721 search results - page 423 / 545 » An experimental analysis of Lemke-Howson algorithm |
155
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
129
click to vote
AIRWEB
2007
Springer
15 years 11 months ago
2007
Springer
Redirection spam presents a web page with false content to a crawler for indexing, but automatically redirects the browser to a different web page. Redirection is usually immediat...
129
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
136
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
148
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...