12052 search results - page 691 / 2411 » computing 2010 |
178
click to vote
COMSIS
2010
15 years 4 months ago
2010
The concept of complexity is used in many areas of computer science and software engineering. Software complexity metrics can be used to evaluate and compare quality of software de...
206
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
189
Voted
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
176
Voted
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
198
Voted
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Taking inspiration from approximate ranking, this paper investigates the use of rank-based Support Vector Machine as surrogate model within CMA-ES, enforcing the invarian...