12272 search results - page 2282 / 2455 » Experimental program analysis |
170
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
As a learning method support vector machine is regarded as one of the best classifiers with a strong mathematical foundation. On the other hand, evolutionary computational techniq...
183
click to vote
ICALP
2007
Springer
16 years 17 days ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
230
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
167
click to vote
STACS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We study computationally hard combinatorial problems arising from the important engineering question of how to maximize the number of connections that can be simultaneous...
159
click to vote
CGO
2006
IEEE
16 years 14 days ago
2006
IEEE
The phase-ordering problem is a long standing issue for compiler writers. Most optimizing compilers typically have numerous different code-improving phases, many of which can be a...