2328 search results - page 249 / 466 » Component Frameworks - A Case Study |
168
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper studies the issue of space coordinate change in genetic algorithms, based on two methods: convex quadratic approximations, and principal component analysis. In both met...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
155
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
Abstract. We present an analysis of the separation of concerns in multi-language design and multilanguage specifications. The basis for our analysis is the paradigm of the multi-di...
248
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
This paper presents the case for Information Visualization (IV) to be a central, integrated component of study in Information Science. We summarize the current state of IV within ...
183
click to vote
STTT
2011
15 years 1 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...